- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783866446762
- Maße
-
24 cm, 500 g
- Umfang
-
XVII, 264 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Hergestellt on demand
Zugl.: Karlsruher Inst. für Technologie, Diss., 2011
- Schlagwort
-
Softwareentwicklung
Bug
Fehlererkennung
Programmverifikation
Programmextraktion
Softwaretest
Testmustergenerierung
Formale Spezifikationstechnik
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT Scientific Publ.
- (wann)
-
2011
- Urheber
- 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
- Hochschulschrift
Beteiligte
- Gladisch, Christoph
- KIT Scientific Publ.
Entstanden
- 2011
Ähnliche Objekte (12)
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
A problem-oriented approach for dynamic verification of heterogeneous embedded systems
F+E-Vorhaben MAF-UIS, 2.2012/14
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2010
Information management and market engineering, [1].
F+E-Vorhaben KEWA, Phase 6. 2010/2011
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2011
F+E-Vorhaben MAF-UIS, 1.2011/12
Information management and market engineering, Vol. 2
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2009.. Held in La Bresse, France, on August 02-02, 2009
F+E-Vorhaben KEWA, Phase 4.2008/09.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2008
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
A problem-oriented approach for dynamic verification of heterogeneous embedded systems
F+E-Vorhaben MAF-UIS, 2.2012/14
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2010
Information management and market engineering, [1].
F+E-Vorhaben KEWA, Phase 6. 2010/2011
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2011
F+E-Vorhaben MAF-UIS, 1.2011/12
Information management and market engineering, Vol. 2
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2009.. Held in La Bresse, France, on August 02-02, 2009
F+E-Vorhaben KEWA, Phase 4.2008/09.
Jahresbericht / Institut für Hochleistungsimpuls- und Mikrowellentechnik, 2008
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
A problem-oriented approach for dynamic verification of heterogeneous embedded systems
F+E-Vorhaben MAF-UIS, 2.2012/14
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2010
Information management and market engineering, [1].
F+E-Vorhaben KEWA, Phase 6. 2010/2011
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2011
F+E-Vorhaben MAF-UIS, 1.2011/12
Information management and market engineering, Vol. 2
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2009.. Held in La Bresse, France, on August 02-02, 2009
F+E-Vorhaben KEWA, Phase 4.2008/09.