Cover image not available

Lopping : syntactic approximation for games-based software model checking

Adam Bakewell

Publication Data

Title Lopping : syntactic approximation for games-based software model checking
Author Adam Bakewell
Contributors Dan Ghica, Dan Ghica
Publisher University of Birmingham, School of Computer Science
Publication date 2008
Publication location Birmingham
Language English

Topics

Computer software :: Verification

Catalogue Data

OBNB ID GBA998548
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 29 p.
P1042 Includes bibliographical references.

Buy a copy

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

Lopping : syntactic approximation for games-based software model checking by Adam Bakewell. Published by University of Birmingham, School of Computer Science in 2008. Publication and catalogue information, links to buy online and reader comments.