Konferenzschrift | Kongress
Verified software: theories, tools, experiments : 4th international conference ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642277047
3642277047
- Maße
-
24 cm
- Umfang
-
X, 325 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 7152
- Schlagwort
-
Verifikation
Softwarespezifikation
Spezifikationssprache
Softwaretest
Programmanalyse
Programmverifikation
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg
- (wer)
-
Springer
- (wann)
-
2012
- Beteiligte Personen und Organisationen
- 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:46 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
- Joshi, Rajeev
- Müller, Peter
- Podelski, Andreas
- VSTTE (4 : 2012 : Philadelphia, Pa.)
- Springer
Entstanden
- 2012
Ähnliche Objekte (12)
Verified software: theories, tools, experiments : third international conference ; proceedings
Verified software: theories, tools, experiments : second international conference ; proceedings
Retrospektive Studie über die Behandlung der distalen Bizepssehnenruptur mit der Refixation an der Tuberositas radii mittels Fadenanker über einen ventralen Zugang
Müller, Peter; Blatt 47
Schediasma de molendinis in genere, et in specie potissimum de bannariis : von Zwang-Mühlen
Untersuchung der Strömungsverhältnisse in der Stranggießkokille zur Verbesserung des Reinheitsgrades und der Oberflächenbeschaffenheit von Stahlbrammen
Über den psychosomatischen Zusammenhang von Cervix-Krebs und den Persönlichkeitsfaktoren des MMPI von Hathaway und Mc Kinley
De numo confessionario ... commentatio
Ökonomik züchterischer Fortschritte in der pflanzlichen Produktion, untersucht am Beispiel der Zuckerrübe
sRNA-vermittelte Genregulation in Bacillus subtilis - Charakterisierung eines neuen RNA-Chaperons
Untersuchungen zur Wechselwirkung von Mikropartikelsystemen mit Faserstoffsuspensionen
Hypomnema de annulo pronubo
Verified software: theories, tools, experiments : third international conference ; proceedings
Verified software: theories, tools, experiments : second international conference ; proceedings
Retrospektive Studie über die Behandlung der distalen Bizepssehnenruptur mit der Refixation an der Tuberositas radii mittels Fadenanker über einen ventralen Zugang
Müller, Peter; Blatt 47
Schediasma de molendinis in genere, et in specie potissimum de bannariis : von Zwang-Mühlen
Untersuchung der Strömungsverhältnisse in der Stranggießkokille zur Verbesserung des Reinheitsgrades und der Oberflächenbeschaffenheit von Stahlbrammen
Über den psychosomatischen Zusammenhang von Cervix-Krebs und den Persönlichkeitsfaktoren des MMPI von Hathaway und Mc Kinley
De numo confessionario ... commentatio
Ökonomik züchterischer Fortschritte in der pflanzlichen Produktion, untersucht am Beispiel der Zuckerrübe
sRNA-vermittelte Genregulation in Bacillus subtilis - Charakterisierung eines neuen RNA-Chaperons
Untersuchungen zur Wechselwirkung von Mikropartikelsystemen mit Faserstoffsuspensionen
Hypomnema de annulo pronubo
Verified software: theories, tools, experiments : third international conference ; proceedings
Verified software: theories, tools, experiments : second international conference ; proceedings
Retrospektive Studie über die Behandlung der distalen Bizepssehnenruptur mit der Refixation an der Tuberositas radii mittels Fadenanker über einen ventralen Zugang
Müller, Peter; Blatt 47
Schediasma de molendinis in genere, et in specie potissimum de bannariis : von Zwang-Mühlen
Untersuchung der Strömungsverhältnisse in der Stranggießkokille zur Verbesserung des Reinheitsgrades und der Oberflächenbeschaffenheit von Stahlbrammen
Über den psychosomatischen Zusammenhang von Cervix-Krebs und den Persönlichkeitsfaktoren des MMPI von Hathaway und Mc Kinley
De numo confessionario ... commentatio
Ökonomik züchterischer Fortschritte in der pflanzlichen Produktion, untersucht am Beispiel der Zuckerrübe
sRNA-vermittelte Genregulation in Bacillus subtilis - Charakterisierung eines neuen RNA-Chaperons
Untersuchungen zur Wechselwirkung von Mikropartikelsystemen mit Faserstoffsuspensionen