Algebraic methods II : theory, tools, and applications (Book, 1991) [WorldCat.org]
skip to content
Algebraic methods II : theory, tools, and applications Preview this item
ClosePreview this item
Checking...

Algebraic methods II : theory, tools, and applications

Author: J A Bergstra; L M G Feijs; European Strategic Programme of Research and Development in Information Technology.
Publisher: Berlin ; New York : Springer-Verlag, ©1991.
Series: Lecture notes in computer science, 490.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:
"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,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; 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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.