Principles of Model Checking
Autor Christel Baier et al.
2 iun 2008
Hardback
Preț: 710.37 lei 914.94 lei
3-4 săpt.
-22%
Cărți de Christel Baier
Validation of Stochastic Systems
Editat de Christel Baier et al.
11 aug 2004
Paperback
Preț: 385.79 lei
6-8 săpt.
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
6-8 săpt.
-20%
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Editat de Christel Baier et al.
14 apr 2018
Paperback
Preț: 361.52 lei 451.89 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Editat de Christel Baier et al.
30 mai 2018
Paperback
Preț: 315.80 lei 394.74 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Christel Baier et al.
8 apr 2015
Paperback
Preț: 343.86 lei 429.81 lei
6-8 săpt.
-20%
SOFSEM 2017: Theory and Practice of Computer Science
Editat de Bernhard Steffen et al.
11 ian 2017
Paperback
Preț: 333.61 lei 417.02 lei
6-8 săpt.
-20%