Carregant...

Principles of model checking /

Dades bibliogràfiques
Autor principal: Baier, Christel
Altres autors: Katoen, Joost-Pieter
Format: Printed Book
Idioma:English
Publicat: Cambridge, Mass. : The MIT Press, [2012
Matèries:
Accés en línia:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Ítems similars