Número de Cutter-SanbornD231sEntrada «Dass» → 231 · marca de obra “s”

Specification and Verification of Multi-agent Systems

Name: Specification and Verification of Multi-agent Systems
ISBN: 9781441969835

Autor	Mehdi Dastani
Editorial	Springer Science+Business Media, LLC, Springer
Fecha de publicación	2010
Lugar	Boston, MA
Idioma	inglés
Páginas	405
Formato	[electronic resource] /
ISBN-13	9781441969835, 9781441969842
LCCN	2010930883
Número de Cutter	`D231s`

Specification and Verification of Multi-agent Systems (2010) — ISBN 9781441969835 | Cutter Number