|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: J. C. M. Baeten (Technische Universiteit Eindhoven, The Netherlands) , T. Basten (Technische Universiteit Eindhoven, The Netherlands) , M. A. Reniers (Technische Universiteit Eindhoven, The Netherlands)Publisher: Cambridge University Press Imprint: Cambridge University Press Volume: 50 Dimensions: Width: 15.80cm , Height: 3.00cm , Length: 23.50cm Weight: 0.802kg ISBN: 9780521820493ISBN 10: 0521820499 Pages: 476 Publication Date: 16 December 2009 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationJ. C. M. Baeten is Professor of Formal Methods in the Division of Computer Science at Eindhoven University of Technology, Netherlands. T. Basten is Associate Professor in the Faculty of Electrical Engineering at Eindhoven University of Technology, Netherlands, and Research Fellow at the Embedded Systems Institute, Eindhoven. M. A. Reniers is Assistant Professor in the Division of Computer Science at Eindhoven University of Technology, Netherlands. Tab Content 6Author Website:Countries AvailableAll regions |