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

Treffer: Abstract software specifications

Titel:

Abstract software specifications : 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings / ed. by D. Bjørner

Beteiligt:

Körperschaft:

Veröffentlicht:

Berlin [u.a.] : Springer, 1980

Umfang:

XI, 566 S. : graph. Darst. ; 25 cm

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Anmerkungen:

Literaturangaben.

RVK-Notation:

ISBN:

3540100075 ; 0387100075

Zusatz-Informationen