//]]>
Normal View MARC View ISBD View

Model checking software : 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /

Authors: Pol, Jaco Van De%editor | Weber, Michael%editor Series: Lecture notes in computer science ; . 6349 Published by : Springer, (Berlin : ) Physical details: x, 261 p. : ill. ISBN: 3642161634 Subject(s): SPIN (Computer file) %Congresses. | %Computer software %Congresses. %Verification | Computer simulation %Congresses %Testing %Data processing 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.14 I612 (Browse Shelf) Available JBC/2011/9089

Includes bibliographical references and index

There are no comments for this item.

Log in to your account to post a comment.

Languages: 
English |
العربية