Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Divisio...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.
Format:	eBook
Language:	English
Published:	Berlin ; New York : SpringerVerlag, [1993]
Series:	Lecture notes in computer science ; 735.
Subjects:	Computer programming. Formal methods (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book