Dines Bjørner | Akateeminen Kirjakauppa

Software Engineering 1 - Abstraction and Modelling

Bjørner, Dines
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Kovakantinen kirja

101,40 €

Software Engineering 2 - Specification of Systems and Languages

Bjørner, Dines
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Kovakantinen kirja

51,40 €

Software Engineering 3 - Domains, Requirements, and Software Design

Bjørner, Dines
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Kovakantinen kirja

101,40 €

Logics of Specification Languages

Bjørner, Dines; Henson, Martin C.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Kovakantinen kirja

134,60 €

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June

Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.
Springer
1993
Pehmeäkantinen kirja

51,40 €

VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Bjørner, Dines; Jones, Cliff; Mac An Airchinnigh, Michael; Neuhold, Erich J.
Springer
1987
Pehmeäkantinen kirja

51,40 €

VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April

Bjørner, Dines; Hoare, C.A.R.; Langmaack, Hans
Springer
1990
Pehmeäkantinen kirja

51,40 €

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk,

Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.
Springer
1996
Pehmeäkantinen kirja

51,40 €

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok,

Bjørner, Dines; Broy, Manfred; Zamulin, Alexandre
Springer
2001
Pehmeäkantinen kirja

51,40 €

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok,

Bjørner, Dines; Broy, Manfred; Zamulin, Alexandre V.
Springer
2000
Pehmeäkantinen kirja

101,40 €

Software Engineering 3 - Domains, Requirements, and Software Design

Bjørner, Dines
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

111,40 €

Logics of Specification Languages

Bjørner, Dines; Henson, Martin C.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

134,60 €

Software Engineering 2 - Specification of Systems and Languages

Bjørner, Dines
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,40 €

Software Engineering 1 - Abstraction and Modelling

Bjørner, Dines
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

86,40 €

Domain Science and Engineering - A Foundation for Software Development

Bjørner, Dines
Springer Nature Switzerland AG
2021
Kovakantinen kirja

152,40 €

Domain Science and Engineering - A Foundation for Software Development

Bjørner, Dines
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja

152,40 €

Baltic Computer Science : Selected Papers

Barzdins, Janis; Bjørner, Dines
Springer
1991
Pehmeäkantinen kirja

101,40 €