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: Burkhart. Wolff 10 träffar

Titel Författare År Språk
1 Theorem proving in higher order logics. - 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings Italy) TPHOLs 2003 (2003 : Rome 2003 Engelska
2 Unifying Theories of Programming - 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers Burkhart. Wolff 2013 Engelska
3 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
4 Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings Martin. Gogolla 2011 Engelska
5 Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings Burkhart. Wolff 2011 Engelska
6 Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings 2018 Engelska
7 Formal Approaches to Software Testing and Runtime Verification Klaus Havelund 2006 Okänt
8 Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings 2011 Okänt
9 Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings 2018 Okänt
10 Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 July 1, 2011. Proceedings 2011 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.