Produktbild: Logic and Algebra of Specification

Logic and Algebra of Specification

Lieferzeit: Lieferbar innerhalb 14 Tagen

160,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

NATO ASI Subseries F: 94

ISBN: 3540558136
ISBN 13: 9783540558132
Herausgeber: Friedrich L Bauer/Wilfried Brauer/Helmut Schwichtenberg
Verlag: Springer Verlag GmbH
Umfang: vii, 442 S.
Erscheinungsdatum: 05.07.1993
Produktform: Gebunden/Hardback
Einband: Gebunden
Artikelnummer: 1482499 Kategorie:

Beschreibung

This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …