Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle by Maria Spichkova - Paperback

AED422.03
(0) Write a Review
SKU:
9783836494526
UPC:
9783836494526

Product Description

ISBN: 9783836494526
TITLE: Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle
AUTHOR: Maria Spichkova
PUBLISHER: VDM Verlag Dr. Mueller E.K.
PUBLISHER DATE: 17 Apr 2008

Other Details

ISBN:
9783836494526
Author:
Maria Spichkova
Publisher:
VDM Verlag Dr. Mueller E.K.
Publisher Date:
Published:17 Apr 2008
Book Format:
Paperback