Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 - Info and Reading Options
Proceedings (Lecture Notes in Computer Science)
By D. Bjørner and M. Broy
"Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 " was published by Springer in October 1993 and it has 433 pages.
“Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” Metadata:
- Title: ➤ Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993
- Authors: D. BjørnerM. Broy
- Number of Pages: 433
- Publisher: Springer
- Publish Date: October 1993
“Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” Subjects and Themes:
- 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 Identifiers:
- The Open Library ID: OL7447401M - OL18295905W
- ISBN-13: 9780387573168
- ISBN-10: 038757316X
- All ISBNs: 038757316X - 9780387573168
AI-generated Review of “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ”:
Read “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ”:
Read “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” by choosing from the options below.
Search for “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” in Libraries Near You:
Read or borrow “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” from your local library.
Buy “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” online:
Shop for “Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 ” on popular online marketplaces.
- Ebay: New and used books.