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
6-8 săpt.
-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ț: 327.92 lei 409.89 lei
6-8 săpt.
-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
6-8 săpt.
-20%
From Programs to Systems - The Systems Perspective in Computing
Editat de Saddek Bensalem et al.
11 mar 2014
Paperback
Preț: 321.74 lei 402.18 lei
6-8 săpt.
-20%