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