kaisa sere

Grid   List

  1. Program Development by Refinement
    Program Development by Refinement
    Emil Sekerinski
    Springer London
    Ebook
    Sofort lieferbar
    The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequ...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Integrated Formal Methods
    Integrated Formal Methods
    Michael Butler
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Integrated Formal Methods
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Dependability and Computer Engineering
    Dependability and Computer Engineering
    Luigia Petre
    Engineering Science Reference
    Buch
    Bezug 6-10
    Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems i...
    231,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Program Development by Refinement
    Program Development by Refinement
    Kaisa Sere
    Springer London, Springer London
    Taschenbuch
    Bezug 11-15
    The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequ...
    242,98 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Integrated Formal Methods
    Integrated Formal Methods
    Michael Butler
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, i...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>