Algebraic Methods II: Theory, Tools and Applications

Algebraic Methods II: Theory, Tools and Applications
Author :
Publisher : Springer Science & Business Media
Total Pages : 448
Release :
ISBN-10 : 3540539123
ISBN-13 : 9783540539124
Rating : 4/5 (23 Downloads)

Book Synopsis Algebraic Methods II: Theory, Tools and Applications by : Jan A. Bergstra

Download or read book Algebraic Methods II: Theory, Tools and Applications written by Jan A. Bergstra and published by Springer Science & Business Media. This book was released on 1991-04-10 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.


Algebraic Methods II: Theory, Tools and Applications Related Books

Algebraic Methods II: Theory, Tools and Applications
Language: en
Pages: 448
Authors: Jan A. Bergstra
Categories: Computers
Type: BOOK - Published: 1991-04-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Algebraic Methods: Theory, Tools and Applications
Language: en
Pages: 572
Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 1989-09-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal Methods for Open Object-based Distributed Systems
Language: en
Pages: 466
Authors: Howard Bowman
Categories: Computers
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for objec
Specifications of Database Systems
Language: en
Pages: 330
Authors: David J. Harper
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly,
Semantics of Specification Languages (SoSL)
Language: en
Pages: 367
Authors: Derek J. Andrews
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was or