Marsha Chechik – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

5 produkter

Del 14000
Del 14000 - Lecture Notes in Computer Science
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
AvMarsha Chechik,Joost-Pieter Katoenm. fl.
Häftad, Engelska, 2023
1 449 kr
Skickas inom 10-15 vardagar
Del 9971
Del 9971 - Lecture Notes in Computer Science
Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
AvSandrine Blazy,Marsha Chechik
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar
CONCUR 2008 - Concurrency Theory
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
AvFranck van Breugel,Marsha Chechik
Häftad, Engelska, 2008
729 kr
Skickas inom 10-15 vardagar
Fundamental Approaches to Software Engineering
12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
AvMarsha Chechik,Martin Wirsing
Häftad, Engelska, 2009
729 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
AvMarsha Chechik,Jean-François Raskin
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar