Sell, buy or rent Alexander Pretschner textbooks
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6710)
by
Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner
ISBN-13: 9783642224430
ISBN-10: 3642224431
Edition: 2011
Publisher:
Springer
Format:
Paperback
281 pages
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472)
by
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
ISBN-13: 9783540262787
ISBN-10: 3540262784
Edition: 2005
Publisher:
Springer
Format:
Paperback
672 pages