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

AvMarsha Chechik,Joost-Pieter Katoenm. fl.

Häftad, Engelska, 2023

1 449 kr

Skickas inom 10-15 vardagar

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