Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Editat de Martin Leucker et al.
29 iul 2009
Paperback
Preț: 337.85 lei 422.31 lei
6-8 săpt.
-20%
Cărți de Martin Leucker
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Editat de Marsha Chechik et al.
3 mar 2023
Paperback
Preț: 664.11 lei 830.14 lei
6-8 săpt.
-20%
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Editat de Ezio Bartocci et al.
28 sep 2021
Paperback
Preț: 356.56 lei 445.69 lei
6-8 săpt.
-20%
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Editat de Christian Colombo et al.
8 noi 2018
Paperback
Preț: 512.39 lei 640.49 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Editat de Martin Leucker et al.
25 dec 2015
Paperback
Preț: 349.55 lei 436.94 lei
6-8 săpt.
-20%
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Editat de Martin Leucker
23 oct 2008
Paperback
Preț: 336.21 lei 420.26 lei
6-8 săpt.
-20%
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
Editat de Lubos Brim et al.
20 feb 2007
Paperback
Preț: 336.35 lei 420.43 lei
6-8 săpt.
-20%
Model-Based Testing of Reactive Systems: Advanced Lectures
Editat de Manfred Broy et al.
27 iun 2005
Paperback
Preț: 349.88 lei 437.35 lei
6-8 săpt.
-20%