2004
The spin model checker :primer and reference manual
HOLZMANN, Gerald J.
Operations
Citovat
Print
Basic information
Original name
The spin model checker :primer and reference manual
Authors
HOLZMANN, Gerald J.
Edition
Boston, xii, 596 s, 2004
Publisher
Addison-Wesley
Other information
ISBN
0-321-22862-6
Změněno: 3/12/2009 00:00, The record has been imported from the library system.
Displayed:
14/11/2024 13:23