- Sprache
-
Englisch
- Umfang
-
XVI, 226 S.
- Anmerkungen
-
Passau, Univ., Diss., 2003
- ISBN
-
978-3-8364-7545-7
- Identifier
-
988701618
- Thema
-
Program Slicing ; Datenflussgraph ; Kontrollflussdiagramm ; Programmtransformation ; Softwarewartung ; Reengineering ; Hochschulschrift
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18: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
- Monografie
Beteiligte
Ähnliche Objekte (12)
Advanced slicing 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
Stratified commutativity in verification algorithms for concurrent programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Discovery of Potential Parallelism in Sequential Programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs : Endbericht
Verification of sequential imperative programs in Isabelle-HOL
Advanced slicing 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
Stratified commutativity in verification algorithms for concurrent programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Discovery of Potential Parallelism in Sequential Programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs : Endbericht
Verification of sequential imperative programs in Isabelle-HOL
Advanced slicing 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
Stratified commutativity in verification algorithms for concurrent programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Discovery of Potential Parallelism in Sequential Programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs : Endbericht