Visualització del personal: 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

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	anglès
Matèries:	Computer programming. Formal methods (Computer science) Programmation (Informatique) Méthodes formelles (Informatique) computer programming.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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)