Model Checking
Autor Edmund M. Clark Jr. et al.
20 dec 2018
Hardback
Preț: 460.13 lei 575.17 lei
22-36 zile | 5-11 zile
-20%
Cărți de Orna Grumberg
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Editat de Orna Grumberg et al.
12 mai 2009
Paperback
Preț: 325.38 lei 406.73 lei
43-57 zile
-20%
25 Years of Model Checking: History, Achievements, Perspectives
Editat de Orna Grumberg et al.
17 iun 2008
Paperback
Preț: 224.76 lei 280.96 lei
43-57 zile
-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
Editat de Orna Grumberg et al.
9 mar 2007
Paperback
Preț: 655.03 lei 818.79 lei
43-57 zile
-20%
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
Editat de Orna Grumberg
4 iun 1997
Paperback
Preț: 335.74 lei 419.67 lei
43-57 zile
-20%