|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000062781 |
| 005 |
20170316093000.0 |
| 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
|
| 504 |
|
|
|a Includes bibliographical references and index
|
| 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
|