An edition of Logic of Programs (Lecture Notes in Computer Science)
(1981)
Logic of programs
workshop, ETH Zürich, May-July 1979
by E. Engeler
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Symbolic and mathematical Logic, Computer programs, Computer programming, Congresses, Programmation (Mathématiques), Datenverarbeitung, Logik, Programmierung, Formale Methode, Programmeurs, Logique symbolique et mathématique, Algoritmer, Kongresser, Matematisk logikk, Programming (Mathematics)| Edition | Availability |
|---|---|
1
Logic of programs: workshop, ETH Zürich, May-July 1979
1981, Springer
in English
0387111603 9780387111605
|
aaaa
|
Book Details
Edition Notes
Includes bibliographies.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| December 18, 2024 | Edited by MARC Bot | import existing book |
| July 15, 2021 | Edited by ImportBot | import existing book |
| July 5, 2019 | Edited by MARC Bot | import existing book |
| April 3, 2019 | Edited by MARC Bot | import existing book |
| March 10, 2019 | Created by ImportBot | import existing book |