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: Klaus. Havelund 20 träffar

Titel Författare År Språk
1 SPIN model checking and software verification - 7th international SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000 : proceedings International SPIN Workshop 2000) Stanford : cop. 2000 Engelska
2 Formal Approaches to Software Testing and Runtime Verification electronic resource - First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers Klaus. Havelund 2006 Engelska
3 Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings David. Hutchison 2008 Engelska
4 SPIN Model Checking and Software Verification International SPIN Workshop 2000 Engelska
5 Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Howard. Barringer 2010 Engelska
6 NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Mihaela. Bobaru 2011 Engelska
7 Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings Erika. Ábrahám 2014 Engelska
8 NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings 2015 Engelska
9 Visualization of Concurrent Program Executions 2nd Int. Workshop on Software Architectures and Component Technologies (SACT 2007) Cyrille Artho 2007 Engelska
10 Using block-local atomicity to detect stale-value concurrency errors 2nd Int. Symposium on Automated Technology for Verification and Analysis (ATVA 2004) Cyrille Artho 2004 Engelska
11 Applying Jlint to Space Exploration Software Model Checking and Abstract Interpretation (VMCAI 2004) 5th Int. Conf. on Verification Cyrille Artho 2004 Engelska
12 High-Level Data Races 1st Int. Workshop on Verification and Validation of Enterprise Information Systems Cyrille Artho 2003 Engelska
13 Experiments with Test Case Generation and Runtime Analysis 10th Int. Workshop on Abstract State Machines (ASM 2003) Cyrille Artho 2003 Engelska
14 Domain-Specific Languages with Scala 17th Int. Conf. on Formal Engineering Methods (ICFEM 2015) Cyrille Artho 2015 Engelska
15 Visualization of Concurrent Program Executions Cyrille Artho 2007 Engelska
16 Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings 2018 Engelska
17 NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings Klaus Havelund 2015 Okänt
18 SPIN Model Checking and Software Verification Klaus Havelund uuuu-uuuu Okänt
19 Model Checking Software Klaus Havelund 2008 Okänt
20 Formal Approaches to Software Testing and Runtime Verification Klaus Havelund 2006 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.