Enlarge

Formal methods : state of the art and new directions

Publication Data

Title Formal methods : state of the art and new directions
Contributors Paul Boca, J. P. Bowen, J. I. Siddiqi
Publisher Springer
Publication date 2010
Publication location London
Language English

Topics

015531196

Catalogue Data

OBNB ID GBB129573
ISBN 10 1848827369
ISBN 13 9781848827363
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xxiii, 273 p.

Buy a copy

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

Formal methods : state of the art and new directions. ISBN 9781848827363. Published by Springer in 2010. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.