An edition of Formal methods in programming and their applications
(1993)
Formal methods in programming and their applications
international conference, Academgorodok, Russia, June/July 1993 : proceedings
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, Russia, June/July 1993 : proceedings
1993, Springer-Verlag
in English
354057316X 9783540573166
|
aaaa
|
2
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
|
zzzz
|
3
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
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 12 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 23, 2024 | Edited by MARC Bot | import existing book |
| January 15, 2023 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| November 16, 2020 | Edited by MARC Bot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |