Akademibokhandeln

Dines Bjørner – författare

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

17 produkter

  1. Dines Bjørner - Domain Science and Engineering, Inbunden. Tillgänglighet: Lägg i varukorg

    Domain Science and Engineering

    A Foundation for Software Development

    Av Dines Bjørner

    Inbunden, 2021

    2459 kr

    Lägg i varukorg

  2. Dines Bjørner - Domain Science and Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    Domain Science and Engineering

    A Foundation for Software Development

    Av Dines Bjørner

    Häftad, 2022

    2459 kr

    Lägg i varukorg

  3. Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold - VDM '87. VDM - A Formal Method at Work, Häftad. Tillgänglighet: Lägg i varukorg

    VDM '87. VDM - A Formal Method at Work

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

    Av Dines Bjørner, Cliff Jones m. fl.

    Häftad, 1987

    729 kr

    Lägg i varukorg

  4. Dines Bjørner - Software Engineering 1, Inbunden. Tillgänglighet: Lägg i varukorg

    Software Engineering 1

    Abstraction and Modelling

    Av Dines Bjørner

    Inbunden, 2005

    1449 kr

    Lägg i varukorg

  5. Dines Bjørner - Software Engineering 2, Inbunden. Tillgänglighet: Lägg i varukorg

    Software Engineering 2

    Specification of Systems and Languages

    Av Dines Bjørner

    Inbunden, 2006

    729 kr

    Lägg i varukorg

  6. Dines Bjørner - Software Engineering 3, Inbunden. Tillgänglighet: Lägg i varukorg

    Software Engineering 3

    Domains, Requirements, and Software Design

    Av Dines Bjørner

    Inbunden, 2006

    1449 kr

    Lägg i varukorg

  7. Dines Bjørner, Manfred Broy, Alexandre Zamulin - Perspectives of System Informatics, Häftad. Tillgänglighet: Lägg i varukorg

    Perspectives of System Informatics

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

    Av Dines Bjørner, Manfred Broy m. fl.

    Häftad, 2001

    729 kr

    Lägg i varukorg

  8. Dines Bjørner, C.A.R. Hoare, Hans Langmaack - VDM '90. VDM and Z - Formal Methods in Software Development, Häftad. Tillgänglighet: Lägg i varukorg

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

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

    Av Dines Bjørner, C.A.R. Hoare m. fl.

    Häftad, 1990

    729 kr

    Lägg i varukorg

  9. Janis Barzdins, Dines Bjørner - Baltic Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Baltic Computer Science

    Selected Papers

    Av Janis Barzdins, Dines Bjørner

    Häftad, 1991

    1449 kr

    Lägg i varukorg

  10. Dines Bjørner, Manfred Broy, Igor V. Pottosin - Formal Methods in Programming and Their Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods in Programming and Their Applications

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

    Av Dines Bjørner, Manfred Broy m. fl.

    Häftad, 1993

    729 kr

    Lägg i varukorg

  11. Dines Bjørner, Manfred Broy, Igor V. Pottosin - Perspectives of System Informatics, Häftad. Tillgänglighet: Lägg i varukorg

    Perspectives of System Informatics

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

    Av Dines Bjørner, Manfred Broy m. fl.

    Häftad, 1996

    729 kr

    Lägg i varukorg

  12. Dines Bjørner, Manfred Broy, Alexandre V. Zamulin - Perspectives of System Informatics, Häftad. Tillgänglighet: Lägg i varukorg

    Perspectives of System Informatics

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

    Av Dines Bjørner, Manfred Broy m. fl.

    Häftad, 2000

    1449 kr

    Lägg i varukorg

  13. Dines Bjørner, Martin C. Henson - Logics of Specification Languages, Inbunden. Tillgänglighet: Lägg i varukorg

    Logics of Specification Languages

    Av Dines Bjørner, Martin C. Henson

    Inbunden, 2007

    2169 kr

    Lägg i varukorg

  14. Dines Bjørner - Software Engineering 1, Häftad. Tillgänglighet: Lägg i varukorg

    Software Engineering 1

    Abstraction and Modelling

    Av Dines Bjørner

    Häftad, 2010

    1229 kr

    Lägg i varukorg

  15. Dines Bjørner - Software Engineering 2, Häftad. Tillgänglighet: Lägg i varukorg

    Software Engineering 2

    Specification of Systems and Languages

    Av Dines Bjørner

    Häftad, 2010

    729 kr

    Lägg i varukorg

  16. Dines Bjørner - Software Engineering 3, Häftad. Tillgänglighet: Lägg i varukorg

    Software Engineering 3

    Domains, Requirements, and Software Design

    Av Dines Bjørner

    Häftad, 2010

    1589 kr

    Lägg i varukorg

  17. Dines Bjørner, Martin C. Henson - Logics of Specification Languages, Häftad. Tillgänglighet: Lägg i varukorg

    Logics of Specification Languages

    Av Dines Bjørner, Martin C. Henson

    Häftad, 2010

    2169 kr

    Lägg i varukorg