Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Modular Compiler Verification Markus Müller-Olms
Koda Libristo: 01566446
Založba Springer, Berlin, november 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Liz and the Blue Bird / Film Blu-ray
common.buy 19.44 €
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Knjiga Mehka
common.buy 4.24 €
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Knjiga Mehka
common.buy 30.98 €
Elasticidade - Conceitos Gerais Leandro Bertoldo / Knjiga Mehka
common.buy 11.54 €
peinture, poeme en trois chants Le Mierre-A / Knjiga Mehka
common.buy 15.69 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Knjiga Mehka
common.buy 13.56 €
Las grandes religiones para Dummies Paula González Fernández / Knjiga Mehka
common.buy 19.03 €
La India Mircea Eliade / Knjiga Mehka
common.buy 21.77 €
Picadores Andres Reyes Soto / Knjiga Mehka
common.buy 18.42 €
Was ist Wahrnehmung? Axel Ziemke / Knjiga Mehka
common.buy 76.76 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Modular Compiler Verification
Avtor Markus Müller-Olms
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1997
Število strani 260
EAN 9783540634065
ISBN 3540634061
Koda Libristo 01566446
Založba Springer, Berlin
Teža 414
Mere 156 x 234 x 14

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Modern Compiler Design Dick Grune / Knjiga Trda
common.buy 122.85 €
GAG: A Practical Compiler Generator U. Kastens / Knjiga Mehka
common.buy 19.74 €
Compiler Construction Shriram Krishnamurthi / Knjiga Mehka
common.buy 48.91 €
Migration in the New Europe A. Gorny / Knjiga Mehka
common.buy 50.63 €
Wolverine Omnibus Vol. 2 Walt Simonson / Knjiga Trda
common.buy 115.35 €
Weather Almanac 2022 Storm Dunlop / Knjiga Trda
common.buy 12.95 €
Top
V for Vendetta Alan Moore / Knjiga Mehka
common.buy 16.50 €
Female Electrocardiogram Pentti M. Rautaharju / Knjiga Mehka
common.buy 104.82 €
Estrogeneration Anthony G. Jay / Knjiga Trda
common.buy 38.88 €
Shorter Oxford Textbook of Psychiatry Paul Harrison / Knjiga Mehka
common.buy 120.72 €
Seven Degrees Bryan P T Riley / Knjiga Mehka
common.buy 10.62 €
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Knjiga Mehka
common.buy 10.02 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Knjiga Mehka
common.buy 42.12 €
English Mystics Geraldine E. Hodgson / Knjiga Mehka
common.buy 33.72 €
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Knjiga Mehka
common.buy 18.52 €
Good Night Astronauts Adam Gamble / Knjiga Kartonka
common.buy 7.89 €
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Knjiga Mehka
common.buy 6.37 €
Mythic World Kerby Rosanes / Knjiga Mehka
common.buy 10.12 €
Compiler Technology Derek Beng Kee Kiong / Knjiga Trda
common.buy 160.02 €
Kohei Uchimura Dan N. Witt / Knjiga Mehka
common.buy 21.77 €
Build Your Own .NET Language and Compiler Edward G. Nilges / Knjiga Mehka
common.buy 42.43 €
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Knjiga Trda
common.buy 200.02 €
Top
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Knjiga Mehka
common.buy 12.75 €
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Knjiga Mehka
common.buy 7.89 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?