Search

You searched for: Auteur Chechik, Marsha. Remove constraint Auteur: Chechik, Marsha.
1 - 5 of 5
Number of results to display per page

Search Results

1. Verified Software. Theories, Tools, and Experiments
thumbnail
Full text!
Author:
Blazy; Chechik, Marsha
Publisher:
Springer International Publishing 2016
Format:
e-book
2. Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings
thumbnail
Full text!
Author:
Chechik, Marsha.; Katoen, Joost-Pieter; Leucker, Martin
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
3. Fundamental Approaches to Software Engineering
thumbnail
Full text!
Author:
Chechik, Marsha; Kanade, Takeo; Wirsing, Martin; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
4. CONCUR 2008 - Concurrency Theory
thumbnail
Full text!
Author:
Breugel, Franck; Breugel, Franck van; Chechik, Marsha; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
5. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Marsha Chechik, Jean-François Raskin; Raskin, Jean-François
Publisher:
Springer Berlin Heidelberg 2016
Format:
e-book