Book
Cambridge, Mass. [u.a.] :MIT Press,
Format:
XV, 459 S. : graph. Darst.
ISBN:
0-262-08289-6
Series Statement:
Foundations of computing
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Dynamische Logik
;
Lehrbuch
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009190986&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Harel, David 1950-
Author information:
Kozen, Dexter, 1951-
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |