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.