Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Computers (20)
Science (8)
Professional & Vocational (2)
Reference & Language (1)
Nonfiction (1)
Sold By
All Sellers
Fishpond (21)
Format
All Formats
Paperback (15)
Hardback (6)
    Results for "Dines Bjorner"
    Dines Bjorner
    21 results
    Refine By
    Category
    Computers (20)
    Science (8)
    Professional & Vocational (2)
    Reference & Language (1)
    Nonfiction (1)
    Sold By
    All Sellers
    Fishpond (21)
    Format
    All Formats
    Paperback (15)
    Hardback (6)
      21 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Software Engineering: ­Abstraction and Modelling (Volume 1 (Texts in Theoretical Computer Science: An EATCS Series))
      By Bjorner, Dines
      Software Engineering: ­Abstraction and Modelling (Volume 1 (Texts in Theoretical Computer Science: An EATCS Series))
      By Bjorner, Dines
      £116
      Domain Science and ­Engineering (A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      Domain Science and ­Engineering (A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      £117 Elsewhere £149.99 Save £32.99 (22%)
      Domain Science and ­Engineering (A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      Domain Science and ­Engineering (A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      £128 Elsewhere £149.99 Save £21.99 (15%)
      The Structure of Pure ­Reason (Philosophy’s View of Our Situation in the World)
      By Kai Sørlander, Dines Bjørner
      The Structure of Pure ­Reason (Philosophy’s View of Our Situation in the World)
      By Kai Sørlander, Dines Bjørner
      £91.75 Elsewhere £99.99 Save £8.24 (8%)
      The Vienna Development ­Method (The Meta-language (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, C.B. Jones
      The Vienna Development ­Method (The Meta-language (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, C.B. Jones
      £25.50
      Abstract Software ­Specifications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By Dines Bjorner
      Abstract Software ­Specifications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By Dines Bjorner
      £36.23
      Towards a Formal ­Description of Ada (v. 98 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, O. N. Oest
      Towards a Formal ­Description of Ada (v. 98 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, O. N. Oest
      £88.77
      VDM '87, VDM, a Formal ­Method at Work (VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, Cliff Jones, Michael Mac an Airchinnigh, Erich J. Neuhold
      VDM '87, VDM, a Formal ­Method at Work (VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Dines Bjorner, Cliff Jones, Michael Mac an Airchinnigh, Erich J. Neuhold
      £45.02
      Software Engineering: ­Specification of Systems ­and Languages (Volume 2 (Texts in Theoretical Computer Science: An EATCS Series))
      By Bjørner, Dines
      Software Engineering: ­Specification of Systems ­and Languages (Volume 2 (Texts in Theoretical Computer Science: An EATCS Series))
      By Bjørner, Dines
      £45.60
      Software Engineering 3: ­Domains, Requirements, and ­Software Design (v. 3 (Texts in Theoretical Computer Science: An EATCS Series))
      By Bjørner, Dines
      Software Engineering 3: ­Domains, Requirements, and ­Software Design (v. 3 (Texts in Theoretical Computer Science: An EATCS Series))
      By Bjørner, Dines
      £89.21
      Perspectives of System ­Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))
      By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov
      Perspectives of System ­Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))
      By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov
      £45.92
      VDM '90. VDM and Z - ­Formal Methods in Software ­Development (Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science))
      By Dines Bjorner, C. A. R. Hoare, Hans Langmaack, H. Langmaack
      VDM '90. VDM and Z - ­Formal Methods in Software ­Development (Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science))
      By Dines Bjorner, C. A. R. Hoare, Hans Langmaack, H. Langmaack
      £45.12
      Baltic Computer Science (Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Janis Barzdins, Dines Bjørner
      Baltic Computer Science (Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Janis Barzdins, Dines Bjørner
      £89.40
      Formal Methods in ­Programming and Their ­Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))
      By Dines Bjørner, Manfred Broy, Igor V. Pottosin
      Formal Methods in ­Programming and Their ­Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))
      By Dines Bjørner, Manfred Broy, Igor V. Pottosin
      £45.60
      Perspectives of System ­Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)
      By Dines Bjørner, Manfred Broy, Igor V. Pottosin
      Perspectives of System ­Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)
      By Dines Bjørner, Manfred Broy, Igor V. Pottosin
      £45.04
      Perspectives of System ­Informatics (Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings: Third International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, J)
      By Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
      Perspectives of System ­Informatics (Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings: Third International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, J)
      By Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
      £88.74
      Logics of Specification ­Languages (Monographs in Theoretical Computer Science. An EATCS Series)
      By Dines Bjørner, Martin C. Henson
      Logics of Specification ­Languages (Monographs in Theoretical Computer Science. An EATCS Series)
      By Dines Bjørner, Martin C. Henson
      £128
      Software Engineering 1 (Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      Software Engineering 1 (Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      £74.46
      Software Engineering 2 (Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      Software Engineering 2 (Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      £56.59
      Software Engineering 3 (Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      Software Engineering 3 (Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series))
      By Bjørner, Dines
      £98.94
      Logics of Specification ­Languages (Monographs in Theoretical Computer Science. An EATCS Series)
      By Dines Bjørner, Martin C. Henson
      Logics of Specification ­Languages (Monographs in Theoretical Computer Science. An EATCS Series)
      By Dines Bjørner, Martin C. Henson
      £139
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.