Filtrera

Ämne
  • (9)
  • (2)
  • (2)
  • (2)
Format
  • (3)
  • (5)
Leveranstid
  • (3)
  • (4)

Maibaum Tom Maibaum - Böcker

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

Sortering:
  1. SpringerBriefs in Computer Science:

    On the Construction of Engineering Handbooks

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

    Häftad, Engelska, 2020-04-14
    538
    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...

    Läs mer »

  2. On the Construction of Engineering Handbooks E-bok

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

    E-bok (PDF, LCP), Engelska, 2020-04-13
    694
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 "e;settled knowledge"e; (extracted from historic repositories) for inclusion into such a handbook, ...

    Läs mer »

  3. Lecture Notes in Computer Science:

    Formal Methods at the Crossroads. From Panacea to Foundational Support

    av Bernhard K Aichernig, Tom Maibaum

    Häftad, Engelska, 2003-11-18
    554
    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 »

  4. Lecture Notes in Computer Science:

    Fundamental Approaches to Software Engineering

    av Tom Maibaum

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

    This volume constitutes the refereed proceedings of the Third International Conference on Fundamental Approaches to Software Engineering, FASE 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 21 revised full papers pre...

    Läs mer »

  5. Lecture Notes in Computer Science:

    FM 2008: Formal Methods

    av Jorge Cuellar, Tom Maibaum

    Häftad, Engelska, 2008-05-08
    554
    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 »

  6. FM 2008: Formal Methods E-bok

    av Jorge Cuellar, Tom Maibaum

    E-bok (PDF, LCP), Engelska, 2008-06-05
    714
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 »

  7. Lecture Notes in Computer Science:

    Formal Methods and Software Engineering

    av Shaoying Liu, Tom Maibaum, Keijiro Araki

    Häftad, Engelska, 2008-10-08
    554
    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 »

  8. Formal Methods and Software Engineering E-bok

    av Shaoying Liu, Tom Maibaum, Keijiro Araki

    E-bok (PDF, LCP), Engelska, 2008-10-18
    714
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 »

  9. Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft

    av Bernhard K Aichernig, Tom Maibaum

    Perfect, Engelska, 2014-03-12
    644
    Köp
    Skickas från oss inom 5-8 vardagar.
    Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft