Tools

LEADER 01361cam 22004094a 4500

001 ocm43894182;

003 OCoLC;

005 20141212160057.0;

008 000412s2000 maua b 001 0 eng ;

010 a| 00030380;

015 a| GBA1-05923;

020 a| 0262082896 (alk. hc);

035 a| (Sirsi) o43894182;

035 a| (OCoLC)43894182;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.L63b| H37 2000;

082 00 a| 004/.01/51132| 21;

100 1 a| Harel, David,d| 1950-=| ^A466886;

245 10 a| Dynamic logic /c| David Harel, Dexter Kozen, Jerzy Tiuryn.;

260 a| Cambridge, Mass. :b| MIT Press,c| 2000.;

300 a| xv, 459 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Foundations of computing;

504 a| Includes bibliographical references and index.;

650 0 a| Computer logic.=| ^A417366;

650 0 a| Formal methods (Computer science)=| ^A446919;

700 1 a| Kozen, Dexter,d| 1951-=| ^A198396;

700 1 a| Tiuryn, Jerzy.=| ^A375819;

830 0 a| Foundations of computing.=| ^A255155;

994 a| X0b| ERE;

596 a| 1;

998 a| 850872;

999 a| QA76.9.L63 H37 2000w| LCc| 1i| 30372011170799d| 3/20/2007e| 3/18/2007l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 8/23/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

Author/creator	Harel, David, 1950-
Other author	Kozen, Dexter, 1951-
Other author	Tiuryn, Jerzy.
Format	Book
Publication Info	Cambridge, Mass. : MIT Press, 2000.
Description	xv, 459 pages : illustrations ; 23 cm.
Subjects	Computer logic. Formal methods (Computer science)

Series	Foundations of computing Foundations of computing. ^A255155
Bibliography note	Includes bibliographical references and index.
LCCN	00030380
ISBN	0262082896 (alk. hc)

Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

Click here for more information about this title