Towards a Formal Description of Ada, D Bjorner; O.N. Oest

Автор: David Makinson; Jacek Malinowski; Heinrich Wansing
Название: Towards Mathematical Philosophy
ISBN: 9048180651 ISBN-13(EAN): 9789048180653
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences.

Автор: Alistair Barros; Daniel Oberle
Название: Handbook of Service Description
ISBN: 1489998977 ISBN-13(EAN): 9781489998972
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Handbook of Service Description introduces an in-depth overview of service description efforts. The Handbook of Service Description is the normative scientific reference for the upcoming standardization of the Unified Service Description Language (USDL).

Автор: M.J.C. Gordon
Название: The Denotational Description of Programming Languages
ISBN: 0387904336 ISBN-13(EAN): 9780387904337
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains how to formally describe programming languages using the techniques of denotational semantics. Denotational semantics combines a powerful and lucid descriptive notation (due mainly to Strachey) with an elegant and rigorous theory (due to Scott).

Автор: Carlos Delgado Kloos; Eduard Cerny
Название: Hardware Description Languages and their Applications
ISBN: 0412788101 ISBN-13(EAN): 9780412788109
Издательство: Springer
Рейтинг:
Цена: 22354.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Over the years Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors. This book presents the developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.

Автор: A. Vachoux; Jean-Michel Berg?; Oz Levia; Jacques R
Название: Analog and Mixed-Signal Hardware Description Language
ISBN: 0792398750 ISBN-13(EAN): 9780792398752
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems. This book shows how to use these hardware description languages in the design of electronic components and systems. It is suitable for researchers and designers working in electronic design.

Автор: P. Branquart; G. Louis; P. Wodon
Название: An Analytical Description of CHILL, the CCITT High Level Language
ISBN: 3540111964 ISBN-13(EAN): 9783540111962
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Oliver Schliebusch; Heinrich Meyr; Rainer Leupers
Название: Optimized ASIP Synthesis from Architecture Description Language Models
ISBN: 9048174287 ISBN-13(EAN): 9789048174287
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: New software tools and a sophisticated methodology above RTL are required to answer the challenges of designing an optimized application specific processor (ASIP). This book offers an automated and fully integrated implementation flow and compares it to common implementation practice.

Автор: Jan van Katwijk
Название: Ada: Moving Towards 2000
ISBN: 3540555854 ISBN-13(EAN): 9783540555858
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a selection of papers presented at the 11th Ada Europe conference, all of which demonstrate that Ada has matured from a language, mainly of researchers and academics, into a full-grown tool in software engineering practice.