Compiler Specification and Verification

Compiler Specification and Verification - Polak, W.

Compiler Specification and Verification

Broschiertes Buch

Jetzt bewerten Jetzt bewerten

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

Inhaltsangabe

Andere Kunden interessierten sich auch für

Daniel Le Metayer (ed.)
Programming Languages and Systems

42,99 €
Formal Methods for Industrial Critical Systems

37,99 €
Razvan Diaconescu
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

51,99 €
Robert Braun
Einführung in die Programmierung

34,99 €
Thom Frühwirth
Constraint-Programmierung

22,99 €
Jochen Seemann
Software-Entwurf mit UML 2

82,99 €
Krzysztof R. Apt
Programmverifikation

29,95 €

Produktbeschreibung

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

Produktdetails
Lecture Notes in Computer Science 124
Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
Artikelnr. des Verlages: 978-3-540-10886-3
1981.
Seitenzahl: 292
Erscheinungstermin: 1. Oktober 1981
Englisch
Abmessung: 235mm x 155mm x 16mm
Gewicht: 413g
ISBN-13: 9783540108863
ISBN-10: 3540108866
Artikelnr.: 23116008

Herstellerkennzeichnung

Produktdetails

Lecture Notes in Computer Science 124
Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
Artikelnr. des Verlages: 978-3-540-10886-3
1981.
Seitenzahl: 292
Erscheinungstermin: 1. Oktober 1981
Englisch
Abmessung: 235mm x 155mm x 16mm
Gewicht: 413g
ISBN-13: 9783540108863
ISBN-10: 3540108866
Artikelnr.: 23116008

Herstellerkennzeichnung

Inhaltsangabe

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.

Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb

Impressum

www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826

Bitte wählen Sie Ihr Anliegen aus.

Rechnungen

Retourenschein anfordern

Bestellstatus

Storno