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 23 träffar

Titel Författare År Språk
1 Applying Jlint to Space Exploration Software Model Checking and Abstract Interpretation (VMCAI 2004) 5th Int. Conf. on Verification Cyrille Artho 2004 Engelska
2 Domain-Specific Languages with Scala 17th Int. Conf. on Formal Engineering Methods (ICFEM 2015) Cyrille Artho 2015 Engelska
3 Experiments with Test Case Generation and Runtime Analysis 10th Int. Workshop on Abstract State Machines (ASM 2003) Cyrille Artho 2003 Engelska
4 High-Level Data Races 1st Int. Workshop on Verification and Validation of Enterprise Information Systems Cyrille Artho 2003 Engelska
5 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
6 Visualization of Concurrent Program Executions 2nd Int. Workshop on Software Architectures and Component Technologies (SACT 2007) Cyrille Artho 2007 Engelska
7 Visualization of Concurrent Program Executions Cyrille Artho 2007 Engelska
8 Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Howard. Barringer 2010 Engelska
9 NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Mihaela. Bobaru 2011 Engelska
10 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
11 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 Okänt
12 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
13 Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings David. Hutchison 2008 Engelska
14 Formal Approaches to Software Testing and Runtime Verification Klaus Havelund 2006 Okänt
15 Model Checking Software Klaus Havelund 2008 Okänt
16 NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings Klaus Havelund 2015 Okänt
17 SPIN Model Checking and Software Verification Klaus Havelund uuuu-uuuu Okänt
18 NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings 2015 Engelska
19 NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings 2011 Okänt
20 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

1 2 Nästa sida

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.