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
Av Stefan Gruner, Apurva Kumar m. fl.
Häftad, 2020
719 kr
Lägg i varukorg
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, 2003
739 kr
Lägg i varukorg
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, 2000
739 kr
Lägg i varukorg
FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Häftad, 2008
739 kr
Lägg i varukorg
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, 2008
739 kr
Lägg i varukorg