Dines Bjorner - Böcker

Visar alla böcker från författaren Dines Bjorner.
3 produkter
Dines Bjorner, O. N. Oest, D. Bjorner, D Bjorner, O.N. Oest - Towards a Formal Description of Ada, Häftad
Del 98 - Lecture Notes in Computer Science

Towards a Formal Description of Ada

Av Dines Bjorner, O. N. Oest, D. Bjorner, D Bjorner, O.N. Oest

Häftad, Engelska, 1980

1 449 kr

Skickas inom 7-10 vardagar
Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold, Dines Bjørner - VDM '87. VDM - A Formal Method at Work, Häftad
Del 252 - Lecture Notes in Computer Science

VDM '87. VDM - A Formal Method at Work

Av Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold, Dines Bjørner

Häftad, Engelska, 1987

729 kr

Skickas inom 7-10 vardagar
Dines Bjorner, C. A. R. Hoare, Hans Langmaack, Dines Bjørner, C. a. R. Hoare, C.A.R. Hoare - VDM '90. VDM and Z - Formal Methods in Software Development, Häftad
Del 428 - Lecture Notes in Computer Science

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

Av Dines Bjorner, C. A. R. Hoare, Hans Langmaack, Dines Bjørner, C. a. R. Hoare, C.A.R. Hoare

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar