Hoppa till sidans huvudinnehåll

Marsha Chechik – författare

Visar alla böcker från författaren Marsha Chechik.
5 produkter
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad

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

Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments, Häftad
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

Franck van Breugel, Marsha Chechik - CONCUR 2008 - Concurrency Theory, Häftad

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

Marsha Chechik, Martin Wirsing - Fundamental Approaches to Software Engineering, Häftad

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

Marsha Chechik, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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