John Hatcliff - Böcker

Visar alla böcker från författaren John Hatcliff.
3 produkter
Hubert Garavel, John Hatcliff - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 2619 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Hubert Garavel, John Hatcliff

Häftad, Engelska, 2003

1 459 kr

Skickas inom 10-15 vardagar
John Hatcliff, Torben Mogensen, Peter Thiemann - Partial Evaluation: Practice and Theory, Häftad

Partial Evaluation: Practice and Theory

Av John Hatcliff, Torben Mogensen, Peter Thiemann

Häftad, Engelska, 1999

739 kr

Skickas inom 10-15 vardagar
John Hatcliff, Elena Zucca - Formal Techniques for Distributed Systems, Häftad

Formal Techniques for Distributed Systems

Av John Hatcliff, Elena Zucca

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar