Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)

Bidoit, M.

ISBN 10: 0387540601 / ISBN 13: 9780387540603

Edité par Springer Verlag, 1991

A propos de cet article

Like New.

N° de réf. du vendeur ERICA70403875406015

Détails bibliographiques

• Titre: Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
• Éditeur: Springer Verlag
• Date de parution: 1991
• Langue: anglais
• ISBN à 10 chiffres: 0387540601
• ISBN à 13 chiffres: 9780387540603
• Reliure: Paperback
• État de l'article: Like New
• Type de livre: book

A propos de ce titre

Synopsis

Algebraic System Specification and Development This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments. Full description