Filtre:

Cărți de Nicolas Halbwachs

Synchronous Programming of Reactive Systems

The Springer International Series in Engineering and Computer Science, nr. 215

Autor Nicolas Halbwachs

7 dec 2010

Preț: 314^.86 lei 393^.57 lei

6-8 săpt.

-20%

Computer Aided Verification

Editat de Nicolas Halbwachs et al.

23 iun 1999

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

Preț: 639^.87 lei 799^.83 lei

6-8 săpt.

-20%