PakCat catalogue record

Software specification methods

By edited by Henri Habrias, Marc Frappier

Bibliographic details

ISBN
9781905209347
Publisher
ISTE Ltd
Publication place
London
Publication year
2006
Edition
2nd ed.
Language
English
Material type
Book
Physical description
xxv, 418 pages

Additional authors

Habrias, Henri. Frappier, Marc

Subjects

Formal methods (Computer science), Computer software

Related catalogue records

Modern formal methods and applications edited by Hossam A. Gabbar Formal software development Charatan, Quentin Formal methods in Computer Science Wang, Jiacun Dynamic logic Harel, David Understanding formal methods Monin, Jean Fran�cois Agent technology from a formal perspective Christopher A. Rouff with Michael Hinchey Formal methods for software architectures Marco Bernardo, Paola Inverardi (eds.) Software development with Z Wordsworth, J. B.