ISBN 3540434194 books & textbook

Tools and Algorithms for the Construction and Analysis of Systems

Katoen, Joost-Pieter Stevens, Perdita

Springer /2002-03-20 Paperback / 482 Pages
isbn-10: 3540434194 / isbn-13: 9783540434191