Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Skapa nya rutiner – hälsoböcker upp till 50% →

Algebraic Methods: Theory, Tools and Applications

AvMartin Wirsing,Jan A. Bergstra

Häftad, Engelska, 1989

Del i serien Lecture Notes in Computer Science

1 109 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-09-20
Mått:155 x 235 x 31 mm
Vikt:850 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:564
Upplaga:1989
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540516989

Utforska kategorier

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

Innehållsförteckning

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

542 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 109 kr

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

Instruction Sequences for Computer Science

Cornelis A. Middelburg, Jan A Bergstra

E-bok

2012

1 408 kr

Simonetta Balsamo, Alexander Knapp, Martin Wirsing - Radical Innovations of Software and Systems Engineering in the Future, E-bok

Radical Innovations of Software and Systems Engineering in the Future

Simonetta Balsamo, Alexander Knapp, Martin Wirsing

E-bok

2004

732 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

474 kr

Songmao Zhang, Martin Wirsing, Zili Zhang - Knowledge Science, Engineering and Management, Häftad

Del 9403

Knowledge Science, Engineering and Management

Songmao Zhang, Martin Wirsing, Zili Zhang

Häftad, 2015

558 kr

Axel Rauschmayer, Martin Hofmann, Martin Wirsing - Trustworthy Global Computing, E-bok

Trustworthy Global Computing

Axel Rauschmayer, Martin Hofmann, Martin Wirsing

E-bok

2010

734 kr

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

Eagle and the Lion

James A. Bill

Häftad, 1989

762 kr

Martin Wirsing, Marsha Chechik - Fundamental Approaches to Software Engineering, E-bok

Fundamental Approaches to Software Engineering

Martin Wirsing, Marsha Chechik

E-bok

2009

734 kr

Axel Rauschmayer, Matthias Holzl, Jean-Pierre Banatre, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms, E-bok

Software-Intensive Systems and New Computing Paradigms

Axel Rauschmayer, Matthias Holzl, Jean-Pierre Banatre, Martin Wirsing

E-bok

2008

734 kr