Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Orna. Grumberg 12 träffar

Titel Författare År Språk
1 Model checking Edmund M. Clarke 1999 Engelska
2 Computer aided verification - 9th international conference : proceedings International Conference on Computer Aided Verification 1997) Haifa : cop. 1997 Engelska
3-4 Computer Aided Verification (flera utgåvor) CAV (Conference) 1997 Engelska
5 25 Years of Model Checking electronic resource - History, Achievements, Perspectives Orna. Grumberg 2008 Engelska
6 Tools and Algorithms for the Construction and Analysis of Systems electronic resource - 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal Orna. Grumberg 2007 Engelska
7 Languages: From Formal to Natural - Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Orna. Grumberg 2009 Engelska
8 Formal Logical Methods for System Security and Correctness (NATO Security Through Science Series) Christian Pfaller 2008 Okänt
9 Software Safety and Security: Tools for Analysis and Verification (NATO Science for Peace and Security Series. D, Information and Communication Security) Benedikt Hauptmann 2012 Okänt
10 Software Systems Safety Orna Grumberg 2014 Okänt
11 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 Orna Grumberg 2007 Okänt
12 Languages: From Formal to Natural Orna Grumberg 2009 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.