tom maibaum

Grid   List

  1. FM 2008: Formal Methods
    FM 2008: Formal Methods
    Jorge Cuellar
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. On the Construction of Engineering Handbooks
    On the Construction of Engineering Handbooks
    Stefan Gruner
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as 'settled knowledge' (extracted from historic repositories) for...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Tom Maibaum
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existin...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Formal Methods at the Crossroads. From Panacea to Foundational Support
    Formal Methods at the Crossroads. From Panacea to Foundational Support
    Bernhard K. Aichernig
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume is devoted to the 10th Anniversary Colloquium of UNU IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeb...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Langoliers - Verschollen im Zeitloch
    Langoliers - Verschollen im Zeitloch
    Patricia Wettig
    Paramount Home Entertainment
    DVD
    Bezug 3-5
    Auf einem Nachtflug von Los Angeles nach Boston fallen zehn Passagiere kurz nach dem Start in Tiefschlaf. Als sie während des Flugs erwachen, stellen sie entsetzt fest, daß sie die einzigen Passagi...
    5,85 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  6. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Tom Maibaum
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existin...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. FM 2008: Formal Methods
    FM 2008: Formal Methods
    Tom Maibaum
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Formal Methods at the Crossroads. From Panacea to Foundational Support
    Formal Methods at the Crossroads. From Panacea to Foundational Support
    Tom Maibaum
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume records the 10th Anniversary Colloquium of UNU IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18 21, 2002. Armando Hae...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. On the Construction of Engineering Handbooks
    On the Construction of Engineering Handbooks
    Stefan Gruner
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as 'settled knowledge' (extracted from historic repositories) ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>