Joost-Pieter Katoen – författare
1 079 kr
Skickas inom 7-10 vardagar
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
729 kr
Skickas inom 10-15 vardagar
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
1 449 kr
Skickas inom 10-15 vardagar
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
729 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar
Lectures on Formal Methods and Performance Analysis
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
729 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar
CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
729 kr
Skickas inom 10-15 vardagar
1 009 kr
Tillfälligt slut