Konferenzschrift
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783662452332
3662452332
- Umfang
-
XVIII, 547 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
- Erschienen in
-
Leveraging applications of formal methods, verification and validation
Lecture notes in computer science ; 8802
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Heidelberg, New York, NY, Dordrecht, London, Berlin
- (wer)
-
Springer
- (wann)
-
2014
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:11 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
- 2014
Ähnliche Objekte (12)
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Mastering data privacy: leveraging K-anonymity for robust health data sharing
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
Conceptual structures: leveraging semantic technologies : proceedings
Mastering advanced rhinoplasty
Mastering digital changes
1001 Mastering-Tipps
Mastering dental photography
Mastering the sentence
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Mastering data privacy: leveraging K-anonymity for robust health data sharing
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
Conceptual structures: leveraging semantic technologies : proceedings
Mastering advanced rhinoplasty
Mastering digital changes
1001 Mastering-Tipps
Mastering dental photography
Mastering the sentence
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Mastering data privacy: leveraging K-anonymity for robust health data sharing
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
Conceptual structures: leveraging semantic technologies : proceedings
Mastering advanced rhinoplasty
Mastering digital changes
1001 Mastering-Tipps
Mastering dental photography