|
![]() |
|||
|
||||
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 (Virtual Publishing) Volume: 50 ISBN: 9781139195003ISBN 10: 113919500 Publication Date: 05 July 2014 Audience: Professional and scholarly , Professional & Vocational Format: Undefined Publisher's Status: Active Availability: Available To Order ![]() We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. 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 |