bib.howest.be Zoekresultaten

U zocht naar: Auteur Chechik, Marsha.

1 - 5 van 5

1. Verified Software. Theories, Tools, and Experiments

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

Auteur:: Chechik, Marsha.; Katoen, Joost-Pieter; Leucker, Martin
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

3. Fundamental Approaches to Software Engineering

Auteur:: Chechik, Marsha; Kanade, Takeo; Wirsing, Martin; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

4. CONCUR 2008 - Concurrency Theory

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

Auteur:: Marsha Chechik, Jean-François Raskin; Raskin, Jean-François
Uitgever:: Springer Berlin Heidelberg 2016
Type:: e-book