Marsha Chechik – författare
Visar alla böcker från författaren Marsha Chechik.
5 produkter
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Av Marsha Chechik, Joost-Pieter Katoen m. fl.
Häftad, 2023
1469 kr
Lägg i varukorg
Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Av Sandrine Blazy, Marsha Chechik
Häftad, 2016
739 kr
Lägg i varukorg
CONCUR 2008 - Concurrency Theory
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Av Franck van Breugel, Marsha Chechik
Häftad, 2008
739 kr
Lägg i varukorg
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
Av Marsha Chechik, Martin Wirsing
Häftad, 2009
739 kr
Lägg i varukorg
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
Av Marsha Chechik, Jean-François Raskin
Häftad, 2016
739 kr
Lägg i varukorg