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.

Zusammenfassung

Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium. Dr. Matthias Hölzl ist wissenschaftlicher Mitarbeiter am Institut für Informatik der LMU München mit langjähriger Erfahrung in der Lehre und kann auf viele Jahre industrielle Erfahrung zurückblicken. Dipl. Inform. Allaithy Raed ist wissenschaftlicher Mitarbeiter am Institut für Informatik der LMU München und unterrichtet dort seit mehreren Jahren Einführungskurse in Java. Vor seiner universitären Tätigkeit arbeitete er 3 Jahre als Software-Entwickler. / Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium.

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
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