Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Modular Compiler Verification Markus Müller-Olms
Κωδικός Libristo: 01566446
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Πλήρης περιγραφή
? points 125 b
51.69 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

90 épaves à Marseille et dans sa région - 2ème édition Joncheray / Βιβλίο Χαρτόδετο
common.buy 37.12 €
Nta UGC (Net/Jrf/Set) Shiksha Sastra Paper II Arihant Experts / Βιβλίο Χαρτόδετο
common.buy 112.10 €
Immer eine Handbreit Wasser unter dem Kiel Reinhard Kluge / Βιβλίο Χαρτόδετο
common.buy 12.74 €
Was ist Wahrnehmung? Axel Ziemke / Βιβλίο Χαρτόδετο
common.buy 95.30 €
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Βιβλίο Χαρτόδετο
common.buy 4.85 €
La bancale Henri Bachelin / Βιβλίο Χαρτόδετο
common.buy 11.32 €
Elasticidade - Conceitos Gerais Leandro Bertoldo / Βιβλίο Χαρτόδετο
common.buy 12.74 €
La India Mircea Eliade / Βιβλίο Χαρτόδετο
common.buy 23.97 €
peinture, poeme en trois chants Le Mierre-A / Βιβλίο Χαρτόδετο
common.buy 17.29 €
Pugatschow-Aufstand 1773-1775 - Beteiligte und Motive Eike-Christian Kersten / Βιβλίο Χαρτόδετο
common.buy 16.18 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Hyperion -- Terra Incognita Hansjörg Bay / Βιβλίο Χαρτόδετο
common.buy 57.86 €
Picadores Andres Reyes Soto / Βιβλίο Χαρτόδετο
common.buy 18.51 €
Las grandes religiones para Dummies Paula González Fernández / Βιβλίο Χαρτόδετο
common.buy 20.83 €
ALFONSO MARÍA DE LIGORIO Roberto Heraldo Bernet / Βιβλίο Χαρτόδετο
common.buy 15.98 €
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Βιβλίο Χαρτόδετο
common.buy 34.09 €

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Modular Compiler Verification
Συγγραφέας Markus Müller-Olms
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 1997
Αριθμός σελίδων 260
EAN 9783540634065
ISBN 3540634061
Κωδικός Libristo 01566446
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 414
Διαστάσεις 156 x 234 x 14

Κατηγορία

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Modern Compiler Design Dick Grune / Βιβλίο Σκληρόδετο
common.buy 134.96 €
GAG: A Practical Compiler Generator U. Kastens / Βιβλίο Χαρτόδετο
common.buy 20.83 €
Compiler Construction Shriram Krishnamurthi / Βιβλίο Χαρτόδετο
common.buy 51.69 €
Female Electrocardiogram Pentti M. Rautaharju / Βιβλίο Χαρτόδετο
common.buy 110.78 €
Τοπ
Shorter Oxford Textbook of Psychiatry Paul Harrison / Βιβλίο Χαρτόδετο
common.buy 133.34 €
The Kiwi Conspiracy Chris A Hale / Βιβλίο Χαρτόδετο
common.buy 11.73 €
Seven Degrees Bryan P T Riley / Βιβλίο Χαρτόδετο
common.buy 11.73 €
The Bergdahl Exchange: Implications for U.S. National Security and the Fight Against Terrorism Nonproliferat Subcommittee on Terrorism / Βιβλίο Χαρτόδετο
common.buy 17.39 €
Προετοιμαζουμε
CIM Revision Cards: Delivering Customer Value Ray Donnelly / Βιβλίο Σκληρόδετο
common.buy 292.60 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Βιβλίο Χαρτόδετο
common.buy 44.10 €
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Βιβλίο Χαρτόδετο
common.buy 19.72 €
Good Night Astronauts Adam Gamble / Βιβλίο Leporelo
common.buy 8.89 €
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Βιβλίο Χαρτόδετο
common.buy 7.07 €
English Mystics Geraldine E. Hodgson / Βιβλίο Χαρτόδετο
common.buy 37.12 €
Τοπ
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Βιβλίο Χαρτόδετο
common.buy 11.73 €
Estrogeneration Anthony G. Jay / Βιβλίο Σκληρόδετο
common.buy 49.06 €
Τοπ
V for Vendetta Alan Moore / Βιβλίο Χαρτόδετο
common.buy 20.73 €
Weather Almanac 2022 Storm Dunlop / Βιβλίο Σκληρόδετο
common.buy 14.76 €
Wolverine Omnibus Vol. 2 Walt Simonson / Βιβλίο Σκληρόδετο
common.buy 123.43 €
Προετοιμαζουμε
Mythic World Kerby Rosanes / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Waiting on Grace Michael Barnes / ebook Adobe ePub DRM
common.buy 78.00 €
Integrated planning and operation of plating process chains Alexander Tobias Leiden / Βιβλίο Χαρτόδετο
common.buy 33.58 €
Τοπ
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Βιβλίο Σκληρόδετο
common.buy 255.26 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;