Understanding formal methods :: Jean François Monin :: ISBN 1852332476 :: Springer 2003 :: OBNB, the Open British National Bibliography

Publication Data

Title Understanding formal methods
Alternative Title Introduction aux méthodes formelles. English
Author Jean François Monin
Contributor Michael G. Hinchey
Publisher Springer
Publication date 2003
Publication location London
Language English

Descriptive Notes

"... published with the help of the French Ministère de la culture--Centre national du livre.".

Topics

011407535

Catalogue Data

OBNB ID GBA278924
ISBN 10 1852332476
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xv, 275 p.
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:

Understanding formal methods by Jean François Monin. ISBN 1852332476. Published by Springer in 2003. Publication and catalogue information, links to buy online and reader comments.