Skip to contents Bjoerner, Dines [Editor] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 735 Bjørner, Dines [Other] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Formal methods in programming and their applications : International Conference ["Formal Methods in Programming and Their Applications"], Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 73500
Bjoerner, Dines [Editor] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 735
Bjørner, Dines [Other] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk Formal methods in programming and their applications : International Conference ["Formal Methods in Programming and Their Applications"], Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 73500
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk (2) Wert ausschließen Bjoerner, Dines (1) Wert ausschließen Bjørner, Dines (1) Wert ausschließen Show more show less