paul boca

Grid   List

  1. Formal Methods: State of the Art and New Directions
    Formal Methods: State of the Art and New Directions
    Paul Boca
    Springer London
    Ebook
    Sofort lieferbar
    The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that f...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Abstract State Machines, B and Z
    Abstract State Machines, B and Z
    Egon Börger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneou...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods: State of the Art and New Directions
    Formal Methods: State of the Art and New Directions
    Paul Boca
    Springer London
    Buch
    Bezug 11-15
    The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence tha...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Formal Methods: State of the Art and New Directions
    Formal Methods: State of the Art and New Directions
    Paul Boca
    Springer London, Springer London
    Taschenbuch
    Bezug 11-15
    The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence tha...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Abstract State Machines, B and Z
    Abstract State Machines, B and Z
    Egon Börger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneou...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>