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: Julian Bradfield
4 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Verifying temporal properties of systems
|
Julian Charles Bradfield
|
cop. 1992 |
Engelska |
| 2-3 |
Computer science logic - 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
(flera utgåvor)
|
International Workshop on Computer Science Logic 2002 : Edinburgh)
|
cop. 2002 |
Engelska |
| 4 |
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 2225, 2002 Proceedings
|
Julian Bradfield
|
uuuu-uuuu |
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.