Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

by: Manfred Broy · Johannes Gruenbauer · David Harel · Tony Hoare Springer · 2005 Hardcover details (USA). details (UK). details (Canada). details (Germany). details (France). ISBN: 978-1-4020-3530-2 ISBN-10: 1-4020-3530-6