Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Autor Willem-Paul De Roever et al.
25 ian 2012
Paperback
Preț: 552.39 lei 690.49 lei
43-57 zile
-20%
Cărți de Yassine Lakhnech
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Editat de Yassine Lakhnech et al.
20 sep 2004
Paperback
Preț: 326.91 lei 408.64 lei
43-57 zile
-20%
Tool Support for System Specification, Development and Verification
Editat de Rudolf Berghammer et al.
25 mar 1999
Paperback
Preț: 317.55 lei 396.94 lei
43-57 zile
-20%
From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Editat de Saddek Bensalem et al.
11 mar 2014
Paperback
Preț: 319.60 lei 399.50 lei
43-57 zile
-20%