Normal View MARC View ISBD View

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 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.

Log in to your account to post a comment.

English |