Filtrera

Ämne
  • (5)
  • (1)
  • (1)
  • (1)
  • (1)

Tom Maibaum - Böcker

Visar alla böcker av Tom Maibaum. Handla med fri frakt och snabb leverans!

Sortering:

  1. On the Construction of Engineering Handbooks

    av Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach

    Häftad, Engelska, 2020-04-14
    518
    Köp
    Skickas från oss inom 10-15 vardagar.
    On the Construction of Engineering Handbooks

    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 inclusion into such a handbook, and the assembly of...

    Läs mer »

  2. Formal Methods at the Crossroads. From Panacea to Foundational Support

    av Bernhard K Aichernig, Tom Maibaum

    Häftad, Engelska, 2003-11-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Methods at the Crossroads. From Panacea to Foundational Support

    This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18-21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, con...

    Läs mer »

  3. Fundamental Approaches to Software Engineering

    av Tom Maibaum

    Häftad, Engelska, 2000-03-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Fundamental Approaches to Software Engineering

    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 existing and new conferences. This year it comprised v e ...

    Läs mer »

  4. FM 2008: Formal Methods

    av Jorge Cuellar, Tom Maibaum

    Häftad, Engelska, 2008-05-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    FM 2008: Formal Methods

    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 invited contributions and extended abstracts of 5 ...

    Läs mer »

  5. Formal Methods and Software Engineering

    av Shaoying Liu, Tom Maibaum, Keijiro Araki

    Häftad, Engelska, 2008-10-08
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Methods and Software Engineering

    Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic...

    Läs mer »

  6. Formal Methods At The Crossroads. From Panacea To Foundational Support

    av Aichernig Bernhard K Aichernig, Maibaum Tom Maibaum

    Häftad, Engelska, 2014-03-12
    680
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods At The Crossroads. From Panacea To Foundational Support