Hoppa till sidans huvudinnehåll

Dines Bjørner – författare

Visar alla böcker från författaren .
17 produkter
Dines Bjørner - Domain Science and Engineering, Inbunden

Domain Science and Engineering

A Foundation for Software Development

AvDines Bjørner

Inbunden, Engelska, 2021

2 449 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Domain Science and Engineering, Häftad

Domain Science and Engineering

A Foundation for Software Development

AvDines Bjørner

Häftad, Engelska, 2022

2 449 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold - VDM '87. VDM - A Formal Method at Work, Häftad

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

AvDines Bjørner,Cliff Jonesm. fl.

Häftad, Engelska, 1987

729 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 1, Inbunden

Software Engineering 1

Abstraction and Modelling

AvDines Bjørner

Inbunden, Engelska, 2005

1 439 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 2, Inbunden

Software Engineering 2

Specification of Systems and Languages

AvDines Bjørner

Inbunden, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 3, Inbunden

Software Engineering 3

Domains, Requirements, and Software Design

AvDines Bjørner

Inbunden, Engelska, 2006

1 439 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Manfred Broy, Alexandre Zamulin - Perspectives of System Informatics, Häftad

Perspectives of System Informatics

4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

AvDines Bjørner,Manfred Broym. fl.

Häftad, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Dines Bjørner, C.A.R. Hoare, Hans Langmaack - VDM '90. VDM and Z - Formal Methods in Software Development, Häftad

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

AvDines Bjørner,C.A.R. Hoarem. fl.

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar

Janis Barzdins, Dines Bjørner - Baltic Computer Science, Häftad

Baltic Computer Science

Selected Papers

AvJanis Barzdins,Dines Bjørner

Häftad, Engelska, 1991

1 439 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Manfred Broy, Igor V. Pottosin - Formal Methods in Programming and Their Applications, Häftad

Formal Methods in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

AvDines Bjørner,Manfred Broym. fl.

Häftad, Engelska, 1993

729 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Manfred Broy, Igor V. Pottosin - Perspectives of System Informatics, Häftad

Perspectives of System Informatics

Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

AvDines Bjørner,Manfred Broym. fl.

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin - Perspectives of System Informatics, Häftad

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

AvDines Bjørner,Manfred Broym. fl.

Häftad, Engelska, 2000

1 439 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Martin C. Henson - Logics of Specification Languages, Inbunden

Logics of Specification Languages

AvDines Bjørner,Martin C. Henson

Inbunden, Engelska, 2007

2 159 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 1, Häftad

Software Engineering 1

Abstraction and Modelling

AvDines Bjørner

Häftad, Engelska, 2010

1 229 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 2, Häftad

Software Engineering 2

Specification of Systems and Languages

AvDines Bjørner

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 3, Häftad

Software Engineering 3

Domains, Requirements, and Software Design

AvDines Bjørner

Häftad, Engelska, 2010

1 589 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Martin C. Henson - Logics of Specification Languages, Häftad

Logics of Specification Languages

AvDines Bjørner,Martin C. Henson

Häftad, Engelska, 2010

2 159 kr

Skickas inom 10-15 vardagar