Design, Specification, and Verification of Interactive Systems
by Fabio Paterno
1995Springer-Verlag·1 editions No users with this book on their shelves. Maybe you could be the first.
No lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Design, Specification, and Verification of Interactive Systems (1995)
Design, Specification, and Verification of Interactive Systems (1995)
Springer-Verlag
Springer-Verlag
Hardcover
Hardcover
ISBN 10: 0387594809
ISBN 13: 9780387594804
Buy on Amazon