-
RecordNumber
95241
-
Title
Modeling and verification of real-time systems : formalisms and software tools
-
Editor
edited by Stephan Merz, Nicolas Navet
-
Publication
London Hoboken, NJ : ISTE John Wiley
-
Publication Year
c2008
-
Collation
393p.: ill.
-
Notes
Includes bibliographical references and index , Cataloging based on copy version
-
Index
Includes index
-
Bibliography
Includes bibliographies
-
Subject
Real-time data processing , Computer software - Verification , Formal methods (Computer science)
-
ADDED ENTRIES
AU Navet, Nicolas , AU Merz, Stephan
-
Main Class
004
-
Sub Class
.0151
-
Cutter no
M689
-
ISBN
978-1-84821-013-4
-
واردكننده اطلاعات
شيرين السادات خليفه سلطاني
-
Link To Document :
