Modular Compiler Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Lecture Notes in Computer Science 1283

ISBN: 3540634061
ISBN 13: 9783540634065
Autor: Müller-Olm, Markus
Verlag: Springer Verlag GmbH
Umfang: xvi, 260 S.
Erscheinungsdatum: 06.08.1997
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1462220 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …