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-Henrik Eriksson 14 träffar

Titel Författare År Språk
1 A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions) Lars-Henrik Eriksson 1988 Engelska
2 An Interlocking Specification Language ASPECT-IRSE'99 Lars-Henrik Eriksson 1999 Engelska
3 Finitary partial inductive definitions and general logic Lars-Henrik Eriksson 1993 Engelska
4 A finitary version of the calculus of partial inductive definitions Lars-Henrik Eriksson 1992 Engelska
5 Formal specification and validation of a cache-coherence protocol Lars-Henrik Eriksson 1995 Engelska
6-7 Synthesis of a unification algorithm in a logic programming calculus (flera utgåvor) Lars-Henrik Eriksson 1984 Engelska
8 Using Formal Methods in a Retrospective Safety Case Germany Potsdam SAFECOMP September 21-24 2004 and Security: 23rd International Conference Reliability Computer Safety Lars-Henrik Eriksson 2004 Engelska
9 Extensions of logic programming - proceedings International Workshop on Extensions of Logic Programming 1991) Stockholm : cop. 1992 Engelska
10 Extensions of Logic Programming 1992 Engelska
11-12 FME 2002 - formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings (flera utgåvor) International Symposium of Formal Methods Europe 2002 : Copenhagen) cop. 2002 Engelska
13 FME 2002:Formal Methods Getting IT Right Lars-Henrik Eriksson uuuu-uuuu Okänt
14 Modal Logics for Nominal Transition Systems Joachim Parrow 2015 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.