dines bjørner

Grid   List

  1. Logics of Specification Languages
    Logics of Specification Languages
    Dines Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Software Engineering 3
    Software Engineering 3
    Dines Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The final installment in this three-volume set is based on this maxim: 'Before software can be designed its requirements must be well understood, and before the requirements can be expressed proper...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Software Engineering 1
    Software Engineering 1
    Dines Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, ...
    90,94 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Software Engineering 2
    Software Engineering 2
    Dines Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Perspectives of System Informatics
    Perspectives of System Informatics
    Dines Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999.The 44 ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Perspectives of System Informatics
    Perspectives of System Informatics
    Dines Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Domain Science and Engineering
    Domain Science and Engineering
    Dines Bjørner
    Springer International Publishing
    Ebook
    Sofort lieferbar
    In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A furt...
    171,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. The Structure of Pure Reason
    The Structure of Pure Reason
    Kai Sørlander
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The Structure of Pure Reason
    106,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Logics of Specification Languages
    Logics of Specification Languages
    Martin C. Henson
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications ...
    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Baltic Computer Science
    Baltic Computer Science
    Dines Bjørner
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results ...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. VDM ’87. VDM - A Formal Method at Work
    VDM ’87. VDM - A Formal Method at Work
    Dines Bjørner
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented devel...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Logics of Specification Languages
    Logics of Specification Languages
    Martin C. Henson
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Bezug 11-15
    By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications ...
    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>