Cărți de Orna Grumberg

Computer Aided Verification

Editat de Orna Grumberg

4 iun 1997

Preț: 331^.59 lei 414^.49 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%

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ț: 642^.70 lei 803^.37 lei

6-8 săpt.

-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ț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%