Produktbild: Algebraic System Specification and Development

Algebraic System Specification and Development

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

A Survey and Annotated Bibliography, Lecture Notes in Computer Science 501

ISBN: 3540540601
ISBN 13: 9783540540601
Herausgeber: Michel Bidoit/Hans-Jörg Kreowski/Pierre Lescanne et al
Verlag: Springer Verlag GmbH
Umfang: xii, 184 S.
Erscheinungsdatum: 26.06.1991
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1430930 Kategorie:

Beschreibung

This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …