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: 9781489990884

Autor	Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer
Editorial	Springer
Fecha de publicación	2014
Idioma	inglés
ISBN-13	9781489990884
Número de Cutter	`D231s`

Specification and Verification of Multi-Agent Systems (2014) — ISBN 9781489990884 | Cutter Number