Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Slicing integrated formal specifications for verification
Tool Support and Experimental Evaluation
Benchmarks and Case Studies
Elevator
Wird geladen ...
Dissertation
Slicing integrated formal specifications for verification / Ingo Brückner
Entstehung
2008
JPEG-Download
verfügbare Breiten
JPEG groß
JPEG original
Seiten an
Seiten aus