Del i serien Lecture Notes in Computer Science

Algebraic Methods: Theory, Tools and Applications

Häftad, Engelska, 1989

AvMartin Wirsing,Jan A. Bergstra

1 439 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-09-20
Mått155 x 235 x 31 mm
Vikt850 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor564
Upplaga1989
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540516989

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Programspråk inom Data och IT

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.

Du kanske också är intresserad av

Jan A. Bergstra, Loe M.G. Feijs - Algebraic Methods II: Theory, Tools and Applications, Häftad

Algebraic Methods II: Theory, Tools and Applications

Jan A. Bergstra, Loe M.G. Feijs

Häftad, 1991

709 kr

Jan A Bergstra, Cornelis A. Middelburg - Instruction Sequences for Computer Science, Inbunden

Del 2

Instruction Sequences for Computer Science

Jan A Bergstra, Cornelis A. Middelburg

Inbunden, 2012

1 439 kr

Gayle L. Ormiston, Alan D. Schrift - Transforming the Hermeneutic Context, Häftad

Transforming the Hermeneutic Context

Gayle L. Ormiston, Alan D. Schrift

Häftad, 1989

619 kr

James A. Bill - Eagle and the Lion, Häftad

Eagle and the Lion

James A. Bill

Häftad, 1989

989 kr

Alison Assiter - Pornography, Feminism and the Individual, Häftad

Pornography, Feminism and the Individual

Alison Assiter

Häftad, 1989

679 kr

Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005, Häftad

Theoretical Aspects of Computing - ICTAC 2005

Dang Van Hung, Martin Wirsing

Häftad, 2005

1 439 kr

Gerard Cohen, Jacques Wolfmann - Coding Theory and Applications, Häftad

Coding Theory and Applications

Gerard Cohen, Jacques Wolfmann

Häftad, 1989

709 kr

Nora Koch, Piero Fraternali, Martin Wirsing - Web Engineering, Häftad

Web Engineering

Nora Koch, Piero Fraternali, Martin Wirsing

Häftad, 2004

1 439 kr

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer - Software Engineering for Collective Autonomic Systems, Häftad

Del 8998

Software Engineering for Collective Autonomic Systems

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer

Häftad, 2015

729 kr

Betty Travitsky - Paradise of Women, Häftad

Paradise of Women

Betty Travitsky

Häftad, 1989

969 kr