Library of American University of Madaba
Your cart is empty.
Formal methods for industrial critical systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Authors: Kowalewski, Stefan%editor | Roveri, Marco%editor Series: Lecture notes in computer science ; . 6371 Published by : Springer, (Berlin : ) Physical details: xii, 230 p. : ill. ISBN: 3642158978 Subject(s): Formal methods (Computer science) %Congresses. | Software engineering %Congresses. | Computer programs %Congresses. %Verification | Computer programs %Congresses. %Reliability | Computer software %Congresses. %Verification Year: 2010
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 005.131 I612 (Browse Shelf) | Available | JBC/2011/9083 |
Includes bibliographical references and index
There are no comments for this item.