VDM '87 : VDM - a formal method at work ; VDM-Europe Symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings / ed. by D. Bjørner ...

VDM ; 1 (Brussels) : 1987.03.23-26

VDM-Europe Symposium ; 1 (Brussels) : 1987.03.23-26

Englisch

Berlin [u.a.] : Springer, 1987

Online-Ressource (IX, 422 S.)

Konferenzschrift (1987, Brüssel)

Literaturangaben

Druckausg.: Bjørner, Dines: VDM '87. - Berlin [u.a.] : Springer, 1987. - IX, 422 S

978-3-540-47740-2

Weitere Ausgaben: 3-540-17654-3 (Druckausgabe), 0-387-17654-3 (Druckausgabe), 978-3-540-17654-1 (Druckausgabe)

DOI: 10.1007/3-540-17654-3

*VDM

*Computer science ; Software engineering ; Computer software -- Development -- Congresses ; Computer software industry -- European Economic Community countries -- Congresses

*Computer Science ; Software Engineering

Klassifikation der Library of Congress: QA76.76.D47

Dewey Dezimal-Klassifikation: 005.1;

Mathematics Subject Classification: *68-06

Mathematics Subject Classification: 68N01

Mathematics Subject Classification: 68Q60

Mathematics Subject Classification: 00B25

 

Online-Ausg.

Berlin [u.a.] : Springer, 2006

Berlin [u.a.] : Springer

https://zbmath.org/?q=an:0646.68006 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.