Algebraic foundations of systems specification :: ISBN 3540637729 :: Springer 1999 :: OBNB, the Open British National Bibliography

Publication Data

Title Algebraic foundations of systems specification
Contributors E. Astesiano, H.-J Kreowski, B. Krieg-Brückner
Publisher Springer
Publication date 1999
Publication location Berlin
Language English

Topics

Software engineering
Formal methods (Computer science)
System design

Catalogue Data

OBNB ID GBA010419
ISBN 10 3540637729
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.21

ISBD

P1053 xii, 615 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:

Algebraic foundations of systems specification. ISBN 3540637729. Published by Springer in 1999. Publication and catalogue information, links to buy online and reader comments.