Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Editat de Dennis Dams et al.
24 feb 2010
Paperback
Preț: 325.79 lei 407.24 lei
3-5 săpt.
-20%
Cărți de Martin Steffen
Formal Methods for Open Object-Based Distributed Systems
Editat de Martin Steffen et al.
3 iun 2005
Paperback
Preț: 323.02 lei 403.77 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ț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
Hat die Rede von Gott noch Zukunft?
Editat de Michael Jochim et al.
18 noi 2024
Hardback
Preț: 189.67 lei
Indisponibil temporar
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ț: 456.14 lei 570.17 lei
6-8 săpt.
-20%