*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. VDM ’90. VDM and Z - Formal Methods in Software Development
    VDM ’90. VDM and Z - Formal Methods in Software Development
    Dines Bjørner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Met...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Compositionality: The Significant Difference
    Compositionality: The Significant Difference
    Willem-Paul De Roever
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Industrial Applications
    Formal Methods for Industrial Applications
    Jean-Raymond Abrial
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Techniques in Real-Time and Fault-Tolerant Systems
    Formal Techniques in Real-Time and Fault-Tolerant Systems
    Hans Langmaack
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume presents the proceedings of the Third International Symposium on Formal Techniques in...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 1. Fachtagung über Programmiersprachen
    1. Fachtagung über Programmiersprachen
    Hans Langmaack
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Implementation of the Programming Language Pascal.- A Systems Programming Language.- The Programm...

    54,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1