Search result

Tools and Algorithms for the Construction and Analysis of Systems English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Computer Aided Verification English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks