Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Reflections on the Work of C.A.R. Hoare
    -0 %

    Reflections on the Work of C.A.R. Hoare

    Kenneth R Wood
    SPRINGER 28.09.2010 - 2010
    Ebook - Digital online
    Nar: - 452 S., 3.73 MB PDesc:
    Sofort lieferbar - Sofort lieferbar

    ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoa...

    Unser bisheriger Preis:ORGPRICE: 182,47 €

    Jetzt 146,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
    -0 %

    Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

    Cristina Gacek
    SPRINGER 28.04.2006 - 2006
    Ebook - Digital online
    Nar: - 306 S., 1.90 MB PDesc:
    Sofort lieferbar - Sofort lieferbar

    Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware ...

    Unser bisheriger Preis:ORGPRICE: 158,92 €

    Jetzt 94,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. VDM ’87.VDM - A Formal Method at Work

    VDM ’87.VDM - A Formal Method at Work

    Dines Bjørner
    Springer Verlag GmbH 11.03.1987 - 1987
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabeVDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three g...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Dependable and Historic Computing

    Dependable and Historic Computing

    Cliff B Jones
    Springer Verlag GmbH 13.10.2011 - 2011
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. FME ’97 Industrial Applications and Strengthened Foundations of Formal Methods

    FME ’97 Industrial Applications and Strengthened Foundations of Formal Methods

    John Fitzgerald
    Springer Verlag GmbH 03.09.1997 - 1997
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabeDiagrams and programming languages for programmable controllers.- Graphical specific...

    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Reflections on the Work of C.A.R.Hoare
    -0 %

    Reflections on the Work of C.A.R.Hoare

    Cliff B Jones
    Springer Verlag GmbH 22.11.2014 - 2014
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Thousands of different programming languages exist, and many more are being created each year, ye...

    Unser bisheriger Preis:ORGPRICE: 157,49 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. Object Orientation with Parallelism and Persistence
    -0 %

    Object Orientation with Parallelism and Persistence

    Burkhard Freitag
    Springer Verlag GmbH 30.09.1996 - 1996
    Buch - Gebunden
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Both object orientation and parallelism are modern programmingparadigms which have gained much ...

    Unser bisheriger Preis:ORGPRICE: 157,49 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  8. Object Orientation with Parallelism and Persistence
    -0 %

    Object Orientation with Parallelism and Persistence

    Burkhard Freitag
    Springer Verlag GmbH 27.09.2011 - 2011
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabePreface. 1. Non-Interference Properties of a Concurrent Object-Based Language: Proof...

    Unser bisheriger Preis:ORGPRICE: 157,49 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  9. Reflections on the Work of C.A.R.Hoare
    -0 %

    Reflections on the Work of C.A.R.Hoare

    Cliff B Jones
    Springer Verlag GmbH 06.09.2010 - 2010
    Buch - Gebunden
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Thousands of different programming languages exist, and many more are being created each year, ye...

    Unser bisheriger Preis:ORGPRICE: 161,43 €

    Jetzt 120,37 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  10. Formal Methods and Hybrid Real-Time Systems

    Formal Methods and Hybrid Real-Time Systems

    Cliff B Jones
    Springer Verlag GmbH 06.09.2007 - 2007
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  11. FM 2014: Formal Methods

    FM 2014: Formal Methods

    Cliff Jones
    Springer Verlag GmbH 09.04.2014 - 2014
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen
    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  12. Methods, Models and Tools for Fault Tolerance

    Methods, Models and Tools for Fault Tolerance

    Michael Butler
    Springer Verlag GmbH 26.03.2009 - 2009
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    The growing complexity of modern software systems increases the di?culty of ensuring the overall ...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1
  2. 2