IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

First-Order Dynamic Logic [electronic resource] / edited by David Harel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1979. - XII, 136 p. online resource. - Lecture Notes in Computer Science, 68 0302-9743 ; . - Lecture Notes in Computer Science, 68 .

ISBN: 9783540353461

Standard No.: 10.1007/3-540-09237-4 doi

Subjects--Topical Terms:
Computer science.
Computer Science.
Computer Science, general.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)