Attributed Algebraic Specifications

Attributed Algebraic Specifications
Author :
Publisher : Herbert Utz Verlag
Total Pages : 236
Release :
ISBN-10 : 3896751476
ISBN-13 : 9783896751478
Rating : 4/5 (478 Downloads)
GET BOOK
Book Synopsis Attributed Algebraic Specifications by : Bernhard Bauer

Download or read book Attributed Algebraic Specifications written by Bernhard Bauer and published by Herbert Utz Verlag. This book was released on 1996 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Attributed Algebraic Specifications Related Books

Attributed Algebraic Specifications
Language: en
Pages: 236

Attributed Algebraic Specifications

Authors: Bernhard Bauer
Categories: Software engineering
Type: BOOK - Published: 1996 - Publisher: Herbert Utz Verlag

GET EBOOK

Design, Specification and Verification of Interactive Systems ’95
Language: en
Pages: 384

Design, Specification and Verification of Interactive Systems ’95

Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June
Language Prototyping: An Algebraic Specification Approach
Language: en
Pages: 375

Language Prototyping: An Algebraic Specification Approach

Authors: Jan Heering
Categories: Computers
Type: BOOK - Published: 1996-09-30 - Publisher: World Scientific

GET EBOOK

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic
Algebraic Specification Techniques in Object Oriented Programming Environments
Language: en
Pages: 248

Algebraic Specification Techniques in Object Oriented Programming Environments

Authors: Ruth Breu
Categories: Computers
Type: BOOK - Published: 1991-12-04 - Publisher: Springer Science & Business Media

GET EBOOK

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The desi
Semantics and Algebraic Specification
Language: en
Pages: 418

Semantics and Algebraic Specification

Authors: Jens Palsberg
Categories: Computers
Type: BOOK - Published: 2009-08-28 - Publisher: Springer Science & Business Media

GET EBOOK

proceedings of the symposium. Somecontributorswereunabletoattendthe event.