Enlarge

Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL

Publication Data

Title Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL
Contributor Kenneth J. Turner
Publisher Wiley
Publication date 1993
Publication location Chichester
Language English

Descriptive Notes

Bibliography: p409-420. - Includes index.

Topics

Computer programming
Formal languages

Catalogue Data

OBNB ID GB9300410
ISBN 10 0471934550
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.62

ISBD

P1053 xxviii,431p.

Buy a copy

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

Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL. ISBN 0471934550. Published by Wiley in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.