Filtre: Tipărit la comandă

Cărți de Helmut Veith

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5330

Editat de Iliano Cervesato et al.

13 noi 2008

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

6-8 săpt.

-20%

25 Years of Model Checking: History, Achievements, Perspectives

Lecture Notes in Computer Science, nr. 5000

Editat de Orna Grumberg et al.

17 iun 2008

Preț: 220^.45 lei 275^.56 lei

6-8 săpt.

-20%

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8044

Editat de Natasha Sharygina et al.

14 iul 2013

Preț: 655^.70 lei 819^.62 lei

6-8 săpt.

-20%