|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000062781 |
| 008 |
090526s2000 mau eng |
| 020 |
|
|
|a 1423728335 (electronic bk.)
|
| 020 |
|
|
|a 9781423728337 (electronic bk.)
|
| 090 |
0 |
0 |
|a QA76.9.L63
|b H37 2000
|
| 100 |
1 |
|
|a Harel, David
|d 1950-
|e author
|
| 245 |
1 |
0 |
|a Dynamic logic [electronic resource]
|c David Harel, Dexter Kozen, Jerzy Tiuryn
|
| 260 |
|
|
|a Cambridge, Mass
|b MIT Press
|c 2000
|
| 300 |
|
|
|a xv, 459 p.
|b ill.
|c 23 cm
|
| 440 |
|
0 |
|a Foundations of computing
|
| 533 |
|
|
|a Electronic reproduction
|b Boulder, Colo.
|c NetLibrary
|d 2005
|n Available via World Wide Web
|n Access may be limited to NetLibrary affiliated libraries
|
| 538 |
|
|
|a Mode of access: World Wide Web
|
| 650 |
|
0 |
|a Computer logic
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|
| 700 |
1 |
|
|a Kozen, Dexter
|d 1951-
|e author
|
| 700 |
1 |
|
|a Tiuryn, Jerzy
|e author
|
| 710 |
2 |
|
|a NetLibrary, Inc.
|
| 856 |
4 |
|
|3 Bibliographic record display
|u http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=138542
|z An electronic book accessible through the World Wide Web; click for information
|
| 999 |
|
|
|a 1000125154
|b Electronic Resource
|c OPEN SHELF (30 DAYS)
|e Gong Badak Campus
|