- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540665878
3540665870
- Umfang
-
XVIII, 937 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Formal methods
Lecture notes in computer science ; Vol. 1708
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
(1999)
- 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:55 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
Beteiligte
- Springer
Entstanden
- (1999)
Ähnliche Objekte (12)
Formal methods, Vol. 2
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
Formal methods : proceedings
Industrial strength formal methods : proceedings
Formal methods, Vol. 2
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
Formal methods : proceedings
Industrial strength formal methods : proceedings
Formal methods, Vol. 2
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
Formal methods : proceedings