Find a copy online
Links to this item
(n.149, 1983 - current) available via SpringerLink
springerlink.com Connect to Internet resource
Find a copy in the library
Finding libraries that hold this item...
Details
Genre/Form: | Electronic resources (Books) Conference papers and proceedings Mierlo (1989) Congresses Congrès |
---|---|
Material Type: | Conference publication, Document, Internet resource |
Document Type: | Book, Computer File, Internet Resource |
All Authors / Contributors: |
J A Bergstra; L M G Feijs; European Strategic Programme of Research and Development in Information Technology. |
ISBN: | 3540539123 9783540539124 0387539123 9780387539126 |
OCLC Number: | 23287021 |
Notes: | "Originates from a workshop organized by ESPRIT project no 432 METEOR in Mierlo, the Netherlands, in September 1989"--Preface. |
Description: | vi, 434 pages : illustrations ; 24 cm. |
Details: | Mode of access: World Wide Web. |
Contents: | 5 invited contributions & 10 papers by the METEOR team based on talks presented at the workshop organized by ESPRIT project no. 432 METEOR in Mierlo, The Netherlands, September 1989. |
Series Title: | Lecture notes in computer science, 490. |
Other Titles: | Algebraic methods 2. |
Responsibility: | J.A. Bergstra, L.M.G. Feijs, eds. |
More information: |
Abstract:
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989.
Read more...
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "Algebraic methods II : theory, tools, and applications".
Be the first.
Similar Items
Related Subjects:(17)
- Computer software -- Development -- Congresses.
- Algebra -- Congresses.
- logique.
- METEOR.
- génie logiciel.
- langage spécification.
- spécification algébrique.
- COLD.
- Logiciels -- Développement -- Congrès.
- Algèbre -- Congrès.
- Algebra.
- Computer software -- Development.
- Datenstruktur
- Kongress
- Algebraische Methode
- Algebra -- Data processing.
- Parallélisme (informatique)