Dines Bjørner – författare

Visar alla böcker från författaren Dines Bjørner.

17 produkter

Kategorier

17 produkter

Domain Science and Engineering
A Foundation for Software Development
AvDines Bjørner
Inbunden, Engelska, 2021
2 509 kr
Skickas inom 10-15 vardagar
Domain Science and Engineering
A Foundation for Software Development
AvDines Bjørner
Häftad, Engelska, 2022
2 509 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
Software Engineering 1
Abstraction and Modelling
AvDines Bjørner
Inbunden, Engelska, 2005
1 479 kr
Skickas inom 10-15 vardagar
Software Engineering 2
Specification of Systems and Languages
AvDines Bjørner
Inbunden, Engelska, 2006
749 kr
Skickas inom 10-15 vardagar
Software Engineering 3
Domains, Requirements, and Software Design
AvDines Bjørner
Inbunden, Engelska, 2006
1 479 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
Baltic Computer Science
Selected Papers
AvJanis Barzdins,Dines Bjørner
Häftad, Engelska, 1991
1 479 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
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 479 kr
Skickas inom 10-15 vardagar
Logics of Specification Languages
AvDines Bjørner,Martin C. Henson
Inbunden, Engelska, 2007
2 219 kr
Skickas inom 10-15 vardagar
Software Engineering 1
Abstraction and Modelling
AvDines Bjørner
Häftad, Engelska, 2010
1 259 kr
Skickas inom 10-15 vardagar
Software Engineering 2
Specification of Systems and Languages
AvDines Bjørner
Häftad, Engelska, 2010
749 kr
Skickas inom 10-15 vardagar
Software Engineering 3
Domains, Requirements, and Software Design
AvDines Bjørner
Häftad, Engelska, 2010
1 629 kr
Skickas inom 10-15 vardagar
Logics of Specification Languages
AvDines Bjørner,Martin C. Henson
Häftad, Engelska, 2010
2 219 kr
Skickas inom 10-15 vardagar