- Sprache
-
Englisch
- Umfang
-
XVI, 226 S.
- Maße
-
22 cm
- Anmerkungen
-
Ill., graph. Darst.
Hergestellt on demand
Passau, Univ., Diss., 2003
- ISBN
-
9783836475457
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Schlagwort
-
Program Slicing
Datenflussgraph
Kontrollflussdiagramm
Programmtransformation
Softwarewartung
Reengineering
- Urheber
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
VDM Verlag Dr. Müller
- (wann)
-
2008
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:47 MEZ
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
- Krinke, Jens
- VDM Verlag Dr. Müller
Entstanden
- 2008
Ähnliche Objekte (12)
Advanced slicing of sequential and concurrent programs
Verification of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Sequential, Concurrent and Parallel Programming
Mining sequential patterns to explain concurrent counterexamples
Synchronous + concurrent + sequential = earlier than + not later than
Verifying concurrent programs under weak memory models
Verification and Enforcement of Safe Schedules for Concurrent Programs
Stratified commutativity in verification algorithms for concurrent programs
Slicing of Concurrent Programs and its Application to Information Flow Control
Trace based debugging and visualisation of concurrent Java programs with UML
Trace based debugging and visualisation of concurrent Java programs with UML
Advanced slicing of sequential and concurrent programs
Verification of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Sequential, Concurrent and Parallel Programming
Mining sequential patterns to explain concurrent counterexamples
Synchronous + concurrent + sequential = earlier than + not later than
Verifying concurrent programs under weak memory models
Verification and Enforcement of Safe Schedules for Concurrent Programs
Stratified commutativity in verification algorithms for concurrent programs
Slicing of Concurrent Programs and its Application to Information Flow Control
Trace based debugging and visualisation of concurrent Java programs with UML
Trace based debugging and visualisation of concurrent Java programs with UML
Advanced slicing of sequential and concurrent programs
Verification of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Sequential, Concurrent and Parallel Programming
Mining sequential patterns to explain concurrent counterexamples
Synchronous + concurrent + sequential = earlier than + not later than
Verifying concurrent programs under weak memory models
Verification and Enforcement of Safe Schedules for Concurrent Programs
Stratified commutativity in verification algorithms for concurrent programs
Slicing of Concurrent Programs and its Application to Information Flow Control
Trace based debugging and visualisation of concurrent Java programs with UML