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%
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%
Synchronous Programming of Reactive Systems
Autor Nicolas Halbwachs
31 dec 1992
Hardback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%