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: Dines Bjørner 42 träffar

Titel Författare År Språk
21 The Vienna Development Method: The Meta-Language Dines Bjørner uuuu-uuuu Okänt
22 VDM '87 VDM — A Formal Method at Work Dines Bjørner uuuu-uuuu Okänt
23 Formal description of programming concepts - II - proceedings of the IFIP Working Conference on Formal Description of Programming Concepts - II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 IFIP Working Conference on Formal Description of Programming Concepts Garmisch-Partenkirchen : 1982) 1983 Engelska
24-26 Formal methods in programming and their applications - proceedings (flera utgåvor) cop. 1993 Engelska
27 Logics of specification languages 2008 Engelska
28 Logics of Specification Languages (Monographs in theoretical computer science) 2008 Okänt
29 Partial evaluation and mixed computation - proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 : Gammel Avernæs) 1988 Engelska
30 Perspectives of system informatics International Andrei Ershov Memorial Conference 1996 : Novosibirsk) cop. 1996 Engelska
31-32 Perspectives of system informatics - proceedings (flera utgåvor) International Andrei Ershov Memorial Conference 1999 : Akademgorodok) cop. 2000 Engelska
33-34 Perspectives of system informatics - 4th International Andrei Ershov Memorial Conference revised papers (flera utgåvor) International Andrei Ershov Memorial Conference 2001) Novosibirsk : 2002 Engelska
35 Perspectives of System Informatics International Andrei Ershov Memorial Conference 1996 Engelska
36 Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Russia) Novosibirsk International Andrei Ershov Memorial Conference 2001 : Akademgorodok 2001 Engelska
37-38 Towards a formal description of Ada (flera utgåvor) 1980 Engelska
39 VDM '87 - VDM - a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings cop. 1987 Engelska
40 VDM '90 - VDM and Z - formal methods in software development : proceedings cop. 1990 Engelska

Förra sidan 1 2 3 Nästa sida

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.