| ||||
*Learn more | ||||
Specification and Compositional Verification of Real-Time Systems by J. Hooman (1991, Book)
|
Author: J. Hooman
Publisher: Springer
Publication Date: 1991-01-01
Series: Lecture Notes in Computer Science, 558
Language: English
Format: Book
ISBN-10: 3540549471
ISBN-13: 9783540549475
Product ID: EPID4520388
Portions of this page Copyright 1995 - 2010 Muze Inc. 
All rights reserved.
All rights reserved.
 About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help | |
Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
| |
