|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000066833 |
| 005 |
20101014.0 |
| 008 |
100715s2009 nyu eng |
| 020 |
|
|
|a 184882744X (hbk.)
|
| 020 |
|
|
|a 1868095X (eISBN)
|
| 020 |
|
|
|a 9781848827448 (hbk.)
|
| 020 |
|
|
|a 9781848827455 (eISBN)
|
| 090 |
0 |
0 |
|a QA76.76.V47
|b A67 2009
|
| 100 |
1 |
|
|a Apt, Krzysztof R. ,
|d 1949- ,
|e author
|
| 245 |
1 |
0 |
|a Verification of sequential and concurrent programs
|c Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog
|
| 250 |
|
|
|a 3rd, extended ed
|
| 260 |
|
|
|a Dordrecht ;
|a New York :
|b Springer ,
|c c2009
|
| 300 |
|
|
|a xxiii, 502 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Texts in computer science
|
| 505 |
0 |
|
|a 1. In the beginning -- 2. Deterministic programs -- 3. Parallel programs -- 4. Nondeterministic and distributed programs
|
| 650 |
|
0 |
|a Computer software
|x Verification
|
| 700 |
1 |
|
|a Boer, Frank S. de ,
|e author
|
| 700 |
1 |
|
|a Olderog, Ernst-Rudiger ,
|e author
|
| 999 |
|
|
|a 1000131939
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|