Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Editat de Dennis Dams et al.
24 feb 2010
Paperback
Preț: 338.68 lei 423.35 lei
3-5 săpt.
-20%
Cărți de Martin Steffen
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Editat de Javier Camara et al.
10 sep 2020
Paperback
Preț: 474.37 lei 592.96 lei
6-8 săpt.
-20%
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Editat de Olaf Owe et al.
9 aug 2011
Paperback
Preț: 339.47 lei 424.34 lei
6-8 săpt.
-20%
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Editat de Martin Steffen et al.
3 iun 2005
Paperback
Preț: 334.53 lei 418.16 lei
6-8 săpt.
-20%
Hat die Rede von Gott noch Zukunft?
Editat de Michael Jochim et al.
18 noi 2024
Hardback
Preț: 175.22 lei
Indisponibil temporar