Hoppa till sidans huvudinnehåll

Tom Maibaum - Böcker

Visar alla böcker från författaren Tom Maibaum.
5 produkter

On the Construction of Engineering Handbooks

with an Illustration from the Railway Safety Domain

Av Stefan Gruner, Apurva Kumar m. fl

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Formal Methods at the Crossroads. From Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Av Bernhard K. Aichernig, Tom Maibaum

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Fundamental Approaches to Software Engineering

Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Av Tom Maibaum

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

FM 2008: Formal Methods

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Av Jorge Cuellar, Tom Maibaum

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Av Shaoying Liu, Tom Maibaum m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar