Algebraic Methods: Theory, Tools and Appli...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

106,99 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

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.

Inhaltsverzeichnis

Details

Erscheinungsjahr:	1989
Fachbereich:	Arithmetik & Algebra
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 564 S.
ISBN-13:	9783540516989
ISBN-10:	3540516980
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Wirsing, Martin Bergstra, Jan A.
Redaktion:	Wirsing, Martin Bergstra, Jan A.
Herausgeber:	Martin Wirsing/Jan A Bergstra
Hersteller:	Springer Springer-Verlag GmbH
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 31 mm
Von/Mit:	Martin Wirsing (u. a.)
Erscheinungsdatum:	20.09.1989
Gewicht:	0,85 kg