Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Limba englezăengleză
Carte Carte broșată
Carte Modular Compiler Verification Markus Müller-Olms
Codul Libristo: 01566446
Editura Springer, Berlin, noiembrie 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Descrierea completă
? points 125 b
270.90 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Liz and the Blue Bird / Videoclip Blu-ray
common.buy 114.16 lei
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Carte Carte broșată
common.buy 25.38 lei
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Carte Carte broșată
common.buy 179.00 lei
Elasticidade - Conceitos Gerais Leandro Bertoldo / Carte Carte broșată
common.buy 66.91 lei
peinture, poeme en trois chants Le Mierre-A / Carte Carte broșată
common.buy 90.85 lei
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Carte Carte broșată
common.buy 79.92 lei
Las grandes religiones para Dummies Paula González Fernández / Carte Carte broșată
common.buy 99.07 lei
La India Mircea Eliade / Carte Carte broșată
common.buy 113.53 lei
Picadores Andres Reyes Soto / Carte Carte broșată
common.buy 105.73 lei
Was ist Wahrnehmung? Axel Ziemke / Carte Carte broșată
common.buy 500.59 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Modular Compiler Verification
Autor Markus Müller-Olms
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 260
EAN 9783540634065
ISBN 3540634061
Codul Libristo 01566446
Editura Springer, Berlin
Greutatea 414
Dimensiuni 156 x 234 x 14

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Modern Compiler Design Dick Grune / Carte Copertă tare
common.buy 707.18 lei
GAG: A Practical Compiler Generator U. Kastens / Carte Carte broșată
common.buy 109.27 lei
Compiler Construction Shriram Krishnamurthi / Carte Carte broșată
common.buy 270.90 lei
Migration in the New Europe A. Gorny / Carte Carte broșată
common.buy 279.53 lei
Wolverine Omnibus Vol. 2 Walt Simonson / Carte Copertă tare
common.buy 690.52 lei
Weather Almanac 2022 Storm Dunlop / Carte Copertă tare
common.buy 76.90 lei
Top
V for Vendetta Alan Moore / Carte Carte broșată
common.buy 95.11 lei
Female Electrocardiogram Pentti M. Rautaharju / Carte Carte broșată
common.buy 581.04 lei
Estrogeneration Anthony G. Jay / Carte Copertă tare
common.buy 231.24 lei
Shorter Oxford Textbook of Psychiatry Paul Harrison / Carte Carte broșată
common.buy 699.16 lei
Seven Degrees Bryan P T Riley / Carte Carte broșată
common.buy 61.81 lei
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Carte Carte broșată
common.buy 59.42 lei
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Carte Carte broșată
common.buy 231.45 lei
English Mystics Geraldine E. Hodgson / Carte Carte broșată
common.buy 194.82 lei
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Carte Carte broșată
common.buy 103.34 lei
Good Night Astronauts Adam Gamble / Carte Cărți pliante
common.buy 46.82 lei
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Carte Carte broșată
common.buy 37.04 lei
Mythic World Kerby Rosanes / Carte Carte broșată
common.buy 58.69 lei
Compiler Technology Derek Beng Kee Kiong / Carte Copertă tare
common.buy 920.84 lei
Kohei Uchimura Dan N. Witt / Carte Carte broșată
common.buy 113.95 lei
Build Your Own .NET Language and Compiler Edward G. Nilges / Carte Carte broșată
common.buy 251.64 lei
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Carte Copertă tare
common.buy 1 145.02 lei
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Carte Carte broșată
common.buy 70.03 lei
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Carte Carte broșată
common.buy 47.03 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?