Synchronous Programming of Reactive Systems
Autor Nicolas Halbwachs
7 dec 2010
Paperback
Preț: 314.86 lei 393.57 lei
6-8 săpt.
-20%
Cărți de Nicolas Halbwachs
Computer Aided Verification
Editat de Nicolas Halbwachs et al.
23 iun 1999
Paperback
Preț: 332.60 lei 415.75 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Nicolas Halbwachs et al.
23 mar 2005
Paperback
Preț: 637.87 lei 797.35 lei
6-8 săpt.
-20%