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 36 träffar

Titel Författare År Språk
1 Formal specification and software development Dines Bjørner cop. 1982 Engelska
2 VDM '87 - VDM - a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings cop. 1987 Engelska
3 Baltic computer science - selected papers cop. 1991 Engelska
4 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
5 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
6 The Vienna development method - the meta-language 1978 Engelska
7 Abstract software specifications - proceedings Copenhagen Winter School on Abstract Software Specifications (1979) 1980 Engelska
8-9 Towards a formal description of Ada (flera utgåvor) 1980 Engelska
10 VDM '90 - VDM and Z - formal methods in software development : proceedings cop. 1990 Engelska
11-12 Formal methods in programming and their applications - proceedings (flera utgåvor) cop. 1993 Engelska
13 Perspectives of system informatics International Andrei Ershov Memorial Conference 1996 : Novosibirsk) cop. 1996 Engelska
14-15 Perspectives of system informatics - proceedings (flera utgåvor) International Andrei Ershov Memorial Conference 1999 : Akademgorodok) cop. 2000 Engelska
16-17 Perspectives of system informatics - 4th International Andrei Ershov Memorial Conference revised papers (flera utgåvor) International Andrei Ershov Memorial Conference 2001) Novosibirsk : 2002 Engelska
18 Software engineering 1, Abstraction and modelling Dines Bjørner 2005 Engelska
19 Software engineering 2, Specification of systems and languages Dines Bjørner 2006 Engelska
20 Logics of specification languages 2008 Engelska

1 2 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.