Normal view MARC view ISBD view

SPIN model checker : primer and reference manual

Material type: materialTypeLabel

BookPublisher: Boston: Addison-Wesley, 2003Description: 596 p.; Index.: 24 cm.ISBN: 9780321228628 .Subject(s): Checker | Computer programs -- testing | SPIN model checker | Systems engineering -- mahtematics modelsDDC classification: 620.0011

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		620.0011 HOL (Browse shelf)	Available		008200

Previous								Next
Previous	620.001 WIL Wave propagation : an introduction to engineering analyses	620.0011 BRO Introduction to engineering : modeling and problem solving	620.0011 CHA Fundamentals of modeling and analyzing engineering systems	620.0011 HOL SPIN model checker : primer and reference manual	620.0011 PAL Interop : the promise and perils of highly interconnected systems	620.0011 SID Modelling of engineering and technological problems	620.00113 BOW Introduction to computational engineering with MATLAB	Next

There are no comments for this item.

Koha online