Marsha Chechik - Böcker

Visar alla böcker från författaren Marsha Chechik.
5 produkter
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad
Del 14000 - Lecture Notes in Computer Science

Formal Methods

Av Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Häftad, Engelska, 2023

1 439 kr

Skickas inom 10-15 vardagar
Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments, Häftad

Verified Software. Theories, Tools, and Experiments

Av Sandrine Blazy, Marsha Chechik

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar
Franck van Breugel, Marsha Chechik, Franck Van Breugel, Franck van Breugel - CONCUR 2008 - Concurrency Theory, Häftad

CONCUR 2008 - Concurrency Theory

Av Franck van Breugel, Marsha Chechik, Franck Van Breugel, Franck van Breugel

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

Av Marsha 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

Av Marsha Chechik, Jean-François Raskin

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar