Home > Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Book Informaton
Author
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Series
Lecture Notes in Computer Science
Volume
735
Year of Publication
1993
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
433
Language
EN
ISBN
9783540573166, 9783540480563, 354057316X, 038757316X
ARI Id
1674219892247
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |
Topics
Formal methods (Computer science) Computer programming Mathematical Logic and Formal Languages Software engineering 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 Computer science System design