Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9783540108863_new
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Theoretical framework.- Source and target languages.- The compiler proof.- Conclusions. Artikel-Nr. 9783540108863
Anzahl: 1 verfügbar
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Compiler Specification and Verification | W. Polak | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1981 | Springer | EAN 9783540108863 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Artikel-Nr. 102156792
Anzahl: 5 verfügbar