Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
00DEFAULT
Print
13. 
Cover image for Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Author 
Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9595-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Wege aus der Softwarekrise Verbesserungen bei der Softwareentwicklung
Wege aus der Softwarekrise Verbesserungen bei der Softwareentwicklung
Author 
Hamilton, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72871-9
Format: 
Availability 
Online Library~1
Available:
Copies: