- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783836475457
- Dimensions
-
22 cm
- Extent
-
XVI, 226 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Hergestellt on demand
Passau, Univ., Diss., 2003
- Keyword
-
Program Slicing
Datenflussgraph
Kontrollflussdiagramm
Programmtransformation
Softwarewartung
Reengineering
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
VDM Verlag Dr. Müller
- (when)
-
2008
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:47 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Krinke, Jens
- VDM Verlag Dr. Müller
Time of origin
- 2008
Other Objects (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
Verification and Enforcement of Safe Schedules for Concurrent Programs
Verifying concurrent programs under weak memory models
Stratified commutativity in verification algorithms for concurrent programs
Discovery of Potential Parallelism in Sequential Programs
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
Verification and Enforcement of Safe Schedules for Concurrent Programs
Verifying concurrent programs under weak memory models
Stratified commutativity in verification algorithms for concurrent programs
Discovery of Potential Parallelism in Sequential Programs
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
Verification and Enforcement of Safe Schedules for Concurrent Programs
Verifying concurrent programs under weak memory models
Stratified commutativity in verification algorithms for concurrent programs
Discovery of Potential Parallelism in Sequential Programs
Trace based debugging and visualisation of concurrent Java programs with UML