An edition of Formal methods in programming and their applications
(1993)
Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)
by D. Bjørner and M. Broy
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Formal methods (Computer science), Computer programming, Mathematical Logic and Formal Languages, Software engineering, Algebra, Symbolic and Algebraic Manipulation, Computer Science, Logic design, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Data processing, Programming Languages, Compilers, Interpreters, Artificial intelligence, System design| Edition | Availability |
|---|---|
1
Formal methods in programming and their applications: international conference, Academgorodok, Russia, June/July 1993 : proceedings
1993, Springer-Verlag
in English
354057316X 9783540573166
|
zzzz
|
2
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes in Computer Science)
October 1993, Springer
038757316X 9780387573168
|
zzzz
|
3
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)
November 1993, Springer
Paperback
in English
354057316X 9783540573166
|
aaaa
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| July 23, 2024 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| February 5, 2019 | Created by MARC Bot | import existing book |