Cărți de Orna Grumberg

Model Checking

Cyber Physical Systems Series

Autor Edmund M. Clark Jr. et al.

20 dec 2018

Preț: 460^.13 lei 575^.17 lei

3-5 săpt. | 10-14 zile

-20%

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 5533

Editat de Orna Grumberg et al.

12 mai 2009

Preț: 332^.06 lei 415^.08 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ț: 229^.45 lei 286^.81 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Lecture Notes in Computer Science, nr. 4424

Editat de Orna Grumberg et al.

9 mar 2007

Preț: 668^.55 lei 835^.68 lei

6-8 săpt.

-20%

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1254

Editat de Orna Grumberg

4 iun 1997

Preț: 342^.65 lei 428^.31 lei

6-8 săpt.

-20%