Principles of Model Checking
Autor Christel Baier et al.
2 iun 2008
Hardback
Preț: 745.29 lei 1293.90 lei
22-29 zile | 6-12 zile
-42%
Cărți de Christel Baier
Validation of Stochastic Systems
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 386.97 lei
43-57 zile
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Editat de Christel Baier et al.
10 aug 2006
Paperback
Preț: 633.83 lei 792.28 lei
43-57 zile
-20%
SOFSEM 2017: Theory and Practice of Computer Science
Editat de Bernhard Steffen et al.
11 ian 2017
Paperback
Preț: 348.02 lei 435.02 lei
43-57 zile
-20%
Foundations of Software Science and Computation Structures
Editat de Christel Baier et al.
14 apr 2018
Paperback
Preț: 379.54 lei 474.43 lei
43-57 zile
-20%
Formal Techniques for Distributed Objects, Components, and Systems
Editat de Christel Baier et al.
30 mai 2018
Paperback
Preț: 317.66 lei 397.08 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Christel Baier et al.
8 apr 2015
Paperback
Preț: 358.70 lei 448.37 lei
43-57 zile
-20%