Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Modular Compiler Verification, Markus M?ller-Olm


Варианты приобретения
Цена: 8384.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Markus M?ller-Olm
Название:  Modular Compiler Verification
ISBN: 9783540634065
Издательство: Springer
Классификация:

ISBN-10: 3540634061
Обложка/Формат: Paperback
Страницы: 260
Вес: 0.39 кг.
Дата издания: 06.08.1997
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 15
Основная тема: Computer Science
Подзаголовок: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Engineering a Compiler,

Автор: Keith Cooper
Название: Engineering a Compiler,
ISBN: 012088478X ISBN-13(EAN): 9780120884780
Издательство: Elsevier Science
Рейтинг:
Цена: 11046.00 р.
Наличие на складе: Поставка под заказ.

Описание: Folk Voiceworks is an outstanding collection including songs from centuries past alongside pieces by celebrated folk musicians. You`ll find shanties, protest songs, songs about the land, lullabies, love songs, and much more - scored flexibly for unison and part-singing. With excellent practical rehearsal notes and a CD with performances of all the songs, this is a fabulous resource for all choirs.

Modern Compiler Implementation in ML

Автор: Andrew W. Appel
Название: Modern Compiler Implementation in ML
ISBN: 0521607647 ISBN-13(EAN): 9780521607643
Издательство: Cambridge Academ
Рейтинг:
Цена: 10454.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.

Compiler Design

Автор: Reinhard Wilhelm; Helmut Seidl; Sebastian Hack
Название: Compiler Design
ISBN: 3642435912 ISBN-13(EAN): 9783642435911
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages and methods for automatic generation.

Compiler Compilers

Автор: Dieter Hammer
Название: Compiler Compilers
ISBN: 3540536698 ISBN-13(EAN): 9783540536697
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the proceedings of a workshop on compiler compilers. This work includes papers covering a wide spectrum ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization.

Compiler Specification and Verification

Автор: W. Polak
Название: Compiler Specification and Verification
ISBN: 3540108866 ISBN-13(EAN): 9783540108863
Издательство: Springer
Рейтинг:
Цена: 3213.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Compiler Construction

Автор: Bj?rn Franke
Название: Compiler Construction
ISBN: 3662466627 ISBN-13(EAN): 9783662466629
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions.

Compiler Generators

Автор: Mads Tofte
Название: Compiler Generators
ISBN: 3540514716 ISBN-13(EAN): 9783540514718
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators.

Practical approach to compiler construction

Автор: Watson, Des
Название: Practical approach to compiler construction
ISBN: 3319527878 ISBN-13(EAN): 9783319527871
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Programming language analysis and translation techniques are used in many software application areas.A Practical Approach to Compiler Construction covers the fundamental principles of the subject in an accessible way.

Compiler Technology

Автор: Derek Beng Kee Kiong
Название: Compiler Technology
ISBN: 0792380185 ISBN-13(EAN): 9780792380184
Издательство: Springer
Рейтинг:
Цена: 21655.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Compiler technology is fundamental to computer science since it provides the means to implement many other tools. This work enables quick development of analysis tools. It provides both lexical scanner and parser generator tools as supplements. It is suitable as a textbook for an undergraduate or graduate level course on compiler technology.

Compiler Generators

Автор: Mads Tofte
Название: Compiler Generators
ISBN: 3642648576 ISBN-13(EAN): 9783642648571
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The OrIgIn of this monograph is a course entitled "Semantics- directed Compiler Generation" which Professor Neil D. this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator.

Build Your Own .NET Language and Compiler

Автор: Edward G. Nilges
Название: Build Your Own .NET Language and Compiler
ISBN: 1590591348 ISBN-13(EAN): 9781590591345
Издательство: Springer
Рейтинг:
Цена: 6008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The idea of having QuickBasic for them to play with (or let their kids play with) will generate sales.* One of a kind book - nothing else comes close to this book. * Demystifies compiler technology for ordinary programmers - this is a subject usually covered by academic books in a manner too advanced for most developers.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия