Zoeken

U zocht naar: Auteur Chechik, Marsha. Filter Auteur: Chechik, Marsha. weghalen Type e-book Filter Type: e-book weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

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