 |
|
|
|
| 1. |
|
Formal Methods
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Häftad. Springer International Publishing AG, Schweiz, 2023.
|
 |
| 2. |
|
Formal Methods
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
E-bok. Springer International Publishing, Schweiz, 2023.
|
|
| 3. |
|
Formal Methods
Chechik Marsha Chechik, Katoen Joost-Pieter Katoen, Leucker Martin Leucker
Häftad. Springer Nature B.V., Schweiz, 2023.
|
|
| 4. |
|
Verified Software. Theories, Tools, and Experiments
Sandrine Blazy, Marsha Chechik
Häftad. Springer International Publishing AG, Schweiz, 2016.
|
|
| 5. |
|
Verified Software. Theories, Tools, and Experiments
Sandrine Blazy, Marsha Chechik
E-bok. Springer International Publishing, Schweiz, 2016.
|
|
| 6. |
|
CONCUR 2008 - Concurrency Theory
Franck Van Breugel, Marsha Chechik
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 7. |
|
CONCUR 2008 - Concurrency Theory
Franck Van Breugel, Marsha Chechik
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
| 8. |
|
Fundamental Approaches to Software Engineering
Marsha Chechik, Martin Wirsing
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2009.
|
|
| 9. |
|
Fundamental Approaches to Software Engineering
Marsha Chechik, Martin Wirsing
E-bok. Springer Berlin Heidelberg, Tyskland, 2009.
|
|
| 10. |
|
Tools and Algorithms for the Construction and Analysis of Systems
Marsha Chechik, Jean-Franois Raskin
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2016.
|
|
| 11. |
|
Tools and Algorithms for the Construction and Analysis of Systems
Marsha Chechik, Jean-Francois Raskin
E-bok. Springer Berlin Heidelberg, Tyskland, 2016.
|
|
|
|
