Tom Maibaum

Identifiers

Open LibraryOL4063419A

Top Subjects

Logic Design (1)
Programming Languages - General (1)
Congresses (1)
Computers - Languages / Programming (1)
Software Engineering (1)
Computer Programming (1)
Computers (1)

Books by Tom Maibaum

Total count: 4

Fundamental Approaches to Software EngineeringThird International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice ... (Lecture Notes in Computer Science)1 edition

Springer2000-04-13
FM 2008 : Formal Methods15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Springer London, Limited2008-01-01
Formal Methods and Software Engineering10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Springer London, Limited2008-01-01
On the Construction of Engineering Handbookswith an Illustration from the Railway Safety Domain

Springer2020-04-14