Enlarge

Runtime verification : 5th international conference, RV 2014, Toronto, On, Canada, September 22-25, 2014, proceedings

Publication Data

Title Runtime verification : 5th international conference, RV 2014, Toronto, On, Canada, September 22-25, 2014, proceedings
Contributors Borzoo Bonakdarpour, Scott A. Smolka
Publisher Springer
Publication date 2014
Publication location Cham
Language English

Topics

Computer software :: Verification :: Congresses

Catalogue Data

OBNB ID GBB4C1821
ISBN 10 3319111639
ISBN 13 9783319111636
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1008>1st 1st edition
P1053 xvii, 358 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Runtime verification : 5th international conference, RV 2014, Toronto, On, Canada, September 22-25, 2014, proceedings. ISBN 9783319111636. Published by Springer in 2014. Publication and catalogue information, links to buy online and reader comments.