Filtre: Springer Berlin, Heidelberg

Cărți de Oded Maler

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5643

Editat de Ahmed Bouajjani et al.

19 iun 2009

Preț: 641^.62 lei 802^.03 lei

6-8 săpt.

-20%

Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1201

Editat de Oded Maler

5 mar 1997

Preț: 381^.19 lei

6-8 săpt.