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: Wolfgang Grieskamp
7 träffar
|
Titel |
Författare |
År |
Språk |
| 1-2 |
Integrated formal methods - second international conference,IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
(flera utgåvor)
|
International conference on integrated formal methods 2000) Dagstuhl castle :
|
cop. 2000 |
Engelska |
| 3-4 |
Formal Approaches to Software Testing
(flera utgåvor)
|
Wolfgang. Grieskamp
|
2006 |
Engelska |
| 5 |
Testing of Software and Communicating Systems electronic resource - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
|
Alexandre. Petrenko
|
2007 |
Engelska |
| 6 |
Formal Approaches to Software Testing: 5Th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : Revised Selected Papers (Lecture notes in computer science, 3997)
|
Wolfgang Grieskamp
|
2006 |
Okänt |
| 7 |
Testing of Software and Communicating Systems
|
Alexandre Petrenko
|
2007 |
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.