Hoppa till sidans huvudinnehåll

Marsha Chechik - Böcker

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, Engelska, 2023

1 429 kr

Skickas inom 10-15 vardagar

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, 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

Av Franck van Breugel, Marsha Chechik m. fl

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

Av Marsha 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

Av Marsha Chechik, Jean-François Raskin

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar