//]]>
Normal View MARC View ISBD View

Runtime verification : First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /

Authors: Barringer, Howard%editor Series: Lecture notes in computer science ; . 6418 Published by : Springer, (Berlin : ) Physical details: xiii, 492 p. : ill. ISBN: 3642166113 Subject(s): Computer programs %Congresses. %Testing | %Computer programs %Congresses. %Verification | %Formal methods (Computer science) %Congresses. 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 R943 (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 |
العربية