algebraic methods theory tools von bergstra (12 Ergebnisse)

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations.

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 490; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine head; faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: verschmutzt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: Bücher.

Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten eingerissen, Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 444 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Softcover Sehr gut erhalten.

Zustand: New. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, belonging to subprogramme 2 on Software Technology. It is a successor to volume 394 of this Lecture Notes series.Formalizing informal requirements some aspects.- ViewPoin.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.

Zustand: New. Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data .

Zustand: New. In.