Formal Methods in Programming and Their Applications
Subtitle: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)
Contributors: Dines Bjorner (Editor); Manfred Broy (Editor); Igor V. Pottosin (Editor)
Publisher: Springer
Published: November 1993
Language: eng
Format: Paperback
Number of pages: 434
ISBN-13: 9783540573166
Subjects: Computer Programming; Logic Design; Programming - Software Development; Programming Languages - General; Computers - General Information; Programming