Catálogo Bibliográfico FCT/UNL catalog

Normal view MARC view ISBD view

Holzmann, Gerard J.
The spin model checker : primer and reference manual / Gerard J. Holzmann. - Boston [etc.] : Addison-Wesley , cop. 2004 . - XII, 596 p. : il. ; 25 cm.

ISBN 0-321-22862-6

Engenharia de sistemas
Software

LCC TA168

Print
Save record
More searches