Opening book details…
Can I read Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science) on EtoBox?
Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science) by N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.) is a computer science book available to read on EtoBox.
What is Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science) about?
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. 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. The volume includes five invited
Who reads Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1991
- Language
- EN
- ISBN
- 9783540463511
- Category
- computer science
- Subjects
- Mathematics, Science, Management
- Updated
- 2026-03-25
More by N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.)
Similar books
- Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394) — Martin Wirsing, Jan A. Bergstra (auth.), (1989)
- Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science, 562) — Breu, R. (Ruth), 1964- (1991)
- Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science, 393) — Hartmut Ehrig; International Workshop on Categorical Methods in Computer Science with Aspects from Topology (1989)
- Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science) — H. Hussmann (2012)
- Lecture Notes in Computer Science 2297 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford,UK,April 10-14,2000 — Roland C Backhouse, Roy Crole, Jeremy Gibbons, School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction, Roland Backhouse, Roy Crole, Jeremy Gibbons, eds, R. C (2002)
- Lecture Notes in Computer Science 3629 Algebra and Coalgebra in Computer Science First International Conference,CALCO 2005 — José Luiz Fiadeiro, Neil Harman, CALCO 2005, International Conference on Algebra and Coalgebra in Computer Science, Fiadeiro, José Luis editor, Harman, Neil editor, Roggenbach, Markus editor, Rutten, Jan (2005)
