Orna Grumberg – författare
Visar alla böcker från författaren Orna Grumberg. Handla med fri frakt och snabb leverans.
8 produkter
Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
Häftad, 1997
562 kr
Lägg i varukorg
This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as …
25 Years of Model Checking
History, Achievements, Perspectives
Av Orna Grumberg, Helmut Veith
Häftad, 2008
395 kr
Lägg i varukorg
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to …
25 Years of Model Checking
History, Achievements, Perspectives
Av Helmut Veith, Orna Grumberg
E-bok, 2008
500 kr
Lägg i varukorg
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to …
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
Av Orna Grumberg, Michael Huth
Häftad, 2007
1116 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based …
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
Av Michael Huth, Orna Grumberg
E-bok, 2007
1502 kr
Lägg i varukorg
Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Av Orna Grumberg, Michael Kaminski m. fl.
Häftad, 2009
546 kr
Lägg i varukorg
The symposium "Languages: From Formal to Natural," celebrating the 65th birthday of Nissim Francez, was held on May 24-25, 2009 at the Technion, Haifa. The symposium consisted of two parts, a veri?cation day and a language day, and covered all areas of Nissim's past and present research interests, …
Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Av Shuly Wintner, Shmuel Katz m. fl.
E-bok, 2009
734 kr
Lägg i varukorg
