Powiedz znajomym o tym przedmiocie:
Modular Compiler Verification: a Refinement-algebraic Approach Advocating Stepwise Abstraction - Lecture Notes in Computer Science 1997 edition
Muller-olm, M. (Universitat Dortmund, Germany)
Cena
zł 279,90
Zamówione z odległego magazynu
Przewidywana dostawa 6 - 15 sty 2025
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Modular Compiler Verification: a Refinement-algebraic Approach Advocating Stepwise Abstraction - Lecture Notes in Computer Science 1997 edition
Muller-olm, M. (Universitat Dortmund, Germany)
Focusing on modular compiler verification, this volume presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. It covers correctness of translation down to actual machine code.
260 pages, biography
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 6 sierpnia 1997 |
| ISBN13 | 9783540634065 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 260 |
| Wymiary | 156 × 234 × 14 mm · 394 g |
| Język | English |