|
|
|
|
| LEADER |
01109nam a2200253 a 4500 |
| 001 |
0321228626 |
| 008 |
100308s2004 xxua b 001 0 eng d |
| 010 |
|
|
|a 2003057704
|
| 020 |
|
|
|a 0321228626 (hardback)
|
| 020 |
|
|
|a 9780321228628
|
| 040 |
|
|
|a DLC
|c DLC
|d StSaUL
|d BD-DhAAL
|
| 082 |
0 |
0 |
|a 620/.001/171
|2 22
|
| 100 |
1 |
|
|a Holzmann, Gerald J.,
|d 1951-
|
| 245 |
1 |
0 |
|a The spin model checker :
|b primer and reference manual /
|c Gerald J. Holzmann
|
| 260 |
|
|
|a Boston, MA :
|b Addison-Wesley,
|c c2004.
|
| 300 |
|
|
|a xii, 596 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 541 |
1 |
|
|e 00019916
|
| 650 |
|
0 |
|a Systems engineering
|x Mathematical models.
|
| 650 |
|
0 |
|a Computer programs
|x Testing.
|
| 852 |
4 |
|
|a Ayesha Abed Library
|j General Shelf
|
| 999 |
|
|
|c 7723
|d 7723
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 620_001171000000000_HOL_2004
|7 0
|9 8482
|a BRACUL
|b BRACUL
|c GEN
|d 2010-03-08
|l 0
|o 620.001171 HOL
|p 3010019916
|r 2010-03-08
|t 1
|w 2010-03-08
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 620_001171000000000_HOL_2004
|7 0
|9 8483
|a BRACUL
|b BRACUL
|c GEN
|d 2010-03-08
|l 0
|o 620.001171 HOL
|p 3010019917
|r 2010-03-08
|t 2
|w 2010-03-08
|y BK
|