Christel Baier - Böcker

Visar alla böcker från författaren Christel Baier.
7 produkter
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures, Häftad

Foundations of Software Science and Computation Structures

Av Christel Baier, Ugo Dal Lago

Häftad, Engelska, 2018

719 kr

Skickas inom 7-10 vardagar
Christel Baier, Luís Caires, Luís - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

Formal Techniques for Distributed Objects, Components, and Systems

Av Christel Baier, Luís Caires, Luís

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Validation of Stochastic Systems, Häftad
Del 2925 - Lecture Notes in Computer Science

Validation of Stochastic Systems

Av Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Häftad, Engelska, 2004

719 kr

Skickas inom 7-10 vardagar
Christel Baier, Holger Hermanns - CONCUR 2006 - Concurrency Theory, Häftad

CONCUR 2006 - Concurrency Theory

Av Christel Baier, Holger Hermanns

Häftad, Engelska, 2006

1 459 kr

Skickas inom 7-10 vardagar
Christel Baier, Cesare Tinelli - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Christel Baier, Cesare Tinelli

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar