Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • VDM '90
  • Inhaltsangabe

Treffer: VDM '90

Titel:
VDM '90 : proceedings ; VDM and Z-formal methods in software development / 3. International Symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990. Dines Bj/orner ... (eds.)
Beteiligt:
Bjørner, Dines (Herausgeber) 
Körper­schaft:
VDM (3 : 1990 : Kiel)
Veröffent­licht:
Berlin : Springer, 1990
Umfang:
XVII, 579 S
Format:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 428
alle Bände anzeigen
RVK-Notation:
ST 230 SS 4000
Schlagworte:
ISBN:
3540525130

Zusatz-Informationen

Zusatz-Funktionen