Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Formal methods in programming and their applications

Titel:

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings / Dines Bjørner ... (ed.)

Beteiligt:

Veröffentlicht:

Berlin : Springer, 1993

Umfang:

IX, 433 Seiten : Diagramme

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 735
alle Bände anzeigen

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

354057316X ; 038757316X

Zusatz-Informationen