Dynamic logic
Harel, David
Dynamic logic David Harel, The Weizmann Institute, Dexter Kozen, Cornell University, Jerzy Tiuryn, University of Warsaw. - Cambridge: The MIT Press, 2000. - xv, 459 pages : illustrations ; 23 cm. - Foundations of computing . - Foundations of computing. .
Originally published: 2000.
Includes bibliographical references and index.
9780262527668 = EECS-reference book collection
GBB550277 bnb
017163189 Uk
Computer logic.
Formal methods (Computer science)
004.015113 H222D
Dynamic logic David Harel, The Weizmann Institute, Dexter Kozen, Cornell University, Jerzy Tiuryn, University of Warsaw. - Cambridge: The MIT Press, 2000. - xv, 459 pages : illustrations ; 23 cm. - Foundations of computing . - Foundations of computing. .
Originally published: 2000.
Includes bibliographical references and index.
9780262527668 = EECS-reference book collection
GBB550277 bnb
017163189 Uk
Computer logic.
Formal methods (Computer science)
004.015113 H222D