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 edition 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, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)
November 1993, Springer
Paperback
in English
354057316X 9783540573166
|
aaaa
|
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, Russia, June/July 1993 : proceedings
1993, Springer-Verlag
in English
354057316X 9783540573166
|
zzzz
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 3 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL18295905W |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |