2010 - Systems and Software Verification Modelchecking Techniques and Tools (Paperback) → Hardcover ISBN-13: 9783642074783 ISBN-10: 3642074782 Genres: Computers & Technology, Science & Math ? 2001 - Systems and Software Verification Modelchecking Techniques and Tools (Hardcover) → Paperback ISBN-13: 9783540415237 ISBN-10: 3540415238 Genre: Computers & Technology ? |