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: Lars-Åke Fredlund 5 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Formal verification of a leader election protocol in process algebra | Lars-Åke Fredlund | 1995 | Engelska |
| 2 | Time and probability in formal design of distributed systems | Hans A. Hansson | 1994 | Engelska |
| 3 | A framework for reasoning about ERLANG code | Lars-Åke Fredlund | 2001 | Engelska |
| 4 | On the verification of open distributed systems | Mads Dam | 1997 | Engelska |
| 5 | A Framework for Reasoning about ERLANG Code | Lars-Åke Fredlund | 2001 | 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.