- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540502142
3540502149
9780387502144
0387502149
- Maße
-
25 cm
- Umfang
-
IX, 499 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
VDM ; 2
Lecture notes in computer science ; Vol. 328
- Schlagwort
-
VDM
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1988
- Beteiligte Personen und Organisationen
-
Bloomfield, Robin
VDM (2 : 1988 : Dublin)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:41 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Bloomfield, Robin
- VDM (2 : 1988 : Dublin)
- Springer
Entstanden
- 1988
Ähnliche Objekte (12)
VDM - a formal method at work : proceedings
VDM and Z : formal methods in softwaree development ; proceedings
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
Computer processing of oriental languages : beyond the Orient: the research challenges ahead ; 21st international conference ; proceedings
Global Polio Eradication – Way Ahead
Informatics : 10 years back, 10 years ahead
Turkey and Europe : the way ahead
Challenges, Reforms, and the Way Ahead
Intelligence in services and networks : paving the way for an open service market ; proceedings
PPP - moving ahead : neue Anwendungsbereiche für öffentlich-private Kooperationen
Comment (in 'The Hindustan Times') : ''The Way Ahead.''
VDM - a formal method at work : proceedings
VDM and Z : formal methods in softwaree development ; proceedings
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
Computer processing of oriental languages : beyond the Orient: the research challenges ahead ; 21st international conference ; proceedings
Global Polio Eradication – Way Ahead
Informatics : 10 years back, 10 years ahead
Turkey and Europe : the way ahead
Challenges, Reforms, and the Way Ahead
Intelligence in services and networks : paving the way for an open service market ; proceedings
PPP - moving ahead : neue Anwendungsbereiche für öffentlich-private Kooperationen
Comment (in 'The Hindustan Times') : ''The Way Ahead.''
VDM - a formal method at work : proceedings
VDM and Z : formal methods in softwaree development ; proceedings
Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings
Computer processing of oriental languages : beyond the Orient: the research challenges ahead ; 21st international conference ; proceedings
Global Polio Eradication – Way Ahead
Informatics : 10 years back, 10 years ahead
Turkey and Europe : the way ahead
Challenges, Reforms, and the Way Ahead
Intelligence in services and networks : paving the way for an open service market ; proceedings
PPP - moving ahead : neue Anwendungsbereiche für öffentlich-private Kooperationen