Library of American University of Madaba

Normal View MARC View ISBD View

Model checking software : 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / Jaco C. Van De Pol, Michael Weber (eds). - Berlin : Springer, 2010. - x, 261 p. : ill. - Lecture notes in computer science ; 6349 .

Includes bibliographical references and index

ISBN: 9783642161636

Subjects--Uniform Titles:
SPIN (Computer file)--Congresses.

Subjects--Topical Terms:
Computer software--Verification--Congresses.
Computer simulation--Testing--Data processing--Congresses

Dewey Class. No.: 005.14 / I612