- Ausgabe
-
2. ed.
- Sprache
-
Deutsch
- Umfang
-
XVII, 364 S.
- Maße
-
25 cm
- Anmerkungen
-
Literaturverz. S. 343 - 352
- ISBN
-
0387948961
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Schlagwort
-
Programmverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, Berlin, Heidelberg, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
1997
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 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.
Beteiligte
- Apt, Krzysztof R.
- Olderog, Ernst-Rüdiger
- Springer
Entstanden
- 1997
Ähnliche Objekte (12)
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Stratified commutativity in verification algorithms for concurrent programs
Specification and verification of concurrent systems
Verification of business rules programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Automatic verification of sequential infinite state processes
Verification of sequential imperative programs in Isabelle-HOL
Modular specification and verification of object oriented programs
Sequential, Concurrent and Parallel Programming
Topology in process calculus : approximate correctness and infinite evolution of concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Stratified commutativity in verification algorithms for concurrent programs
Specification and verification of concurrent systems
Verification of business rules programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Automatic verification of sequential infinite state processes
Verification of sequential imperative programs in Isabelle-HOL
Modular specification and verification of object oriented programs
Sequential, Concurrent and Parallel Programming
Topology in process calculus : approximate correctness and infinite evolution of concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Stratified commutativity in verification algorithms for concurrent programs
Specification and verification of concurrent systems
Verification of business rules programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Automatic verification of sequential infinite state processes
Verification of sequential imperative programs in Isabelle-HOL
Modular specification and verification of object oriented programs
Sequential, Concurrent and Parallel Programming