Hoppa till sidans huvudinnehåll

Tom Maibaum – författare

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

AvStefan Gruner,Apurva Kumarm. fl.

Häftad, Engelska, 2020

699 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

AvBernhard K. Aichernig,Tom Maibaum

Häftad, Engelska, 2003

719 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

AvTom Maibaum

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar

FM 2008: Formal Methods

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

AvJorge Cuellar,Tom Maibaum

Häftad, Engelska, 2008

719 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

AvShaoying Liu,Tom Maibaumm. fl.

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar