Staff View: Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Computer programming. Formal methods (Computer science) Programmation (Informatique) Méthodes formelles (Informatique) computer programming.
Tags:	Add Tag No Tags, Be the first to tag this record!

era
format	Book
genre
geographic
id	dcb1fbfc-e450-4341-acbf-e42e4217932b
isbn	9783540480563 3540480560
issn
language	eng
physical	1 online resource (ix, 433 pages) :illustrations
publication	– publisher: SpringerVerlag dateOfPublication: ©1993
publishDate	©1993
subjects
title	Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
topic	Computer programming. Formal methods (Computer science) Programmation (Informatique) Méthodes formelles (Informatique) computer programming. Computer programming. Formal methods (Computer science)