The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Bibliografische gegevens
Hoofdauteur: Holzmann, Gerald J., 1951-
Formaat: Boek
Taal:English
Gepubliceerd in: Boston, MA : Addison-Wesley, c2004.
Onderwerpen:
Systems engineering > Mathematical models.
Computer programs > Testing.
Classic Catalogue: View this record in Classic Catalogue

Ayesha Abed Library: General Shelf

Exemplaargegevens van Ayesha Abed Library: General Shelf
Plaatsingsnummer: 620.001171 HOL
Kopie 1 Beschikbaar  Plaats een reservatie
Kopie 2 Beschikbaar  Plaats een reservatie

Gelijkaardige items