Orna Grumberg – författare
Visar alla böcker från författaren Orna Grumberg. Handla med fri frakt och snabb leverans.
9 produkter
Software Safety and Security
Tools for Analysis and Verification
Av Tobias Nipkow, Orna Grumberg
2012
2076 kr
Lägg i varukorg
Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been …
Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
Häftad, 1997
567 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
399 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
504 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
1128 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
551 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
