Filtrera

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

Maibaum Tom Maibaum - Böcker

Visar alla böcker av Maibaum 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
    525
    Köp
    Skickas från oss inom 7-10 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
    586
    Köp
    Skickas från oss inom 7-10 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
    586
    Köp
    Skickas från oss inom 7-10 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
    586
    Köp
    Skickas från oss inom 7-10 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
    586
    Köp
    Skickas från oss inom 7-10 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
    695
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods At The Crossroads. From Panacea To Foundational Support