Extra Materials Archive

Book cover

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

© 2009

Soft cover - Print (ISBN: 978-3-8348-0669-7)

Electronic (ISBN: 978-3-8348-9595-0)

View this book on SpringerLink