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: Howard. Barringer 6 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | A Survey of Verification Techniques for Parallel Programs electronic resource / by Howard Barringer | Howard. author. Barringer | uuuu-uuuu | Okänt |
| 2 | Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | Howard. Barringer | 2010 | Engelska |
| 3 | A survey of verification techniques for parallel programs | Howard Barringer | cop. 1985 | Engelska |
| 4 | Advances in Temporal Logic | Dov Gabbay | 2000 | Okänt |
| 5 | A Survey of Verification Techniques for Parallel Programs | Howard Barringer | uuuu-uuuu | Okänt |
| 6 | Temporal logic in specification - proceedings : Altrincham, UK, April 8-10, 1987 | cop. 1989 | Engelska |
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.