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

Verification of Sequential and Concurrent Programs, Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; E


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

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

Автор: Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; E
Название:  Verification of Sequential and Concurrent Programs
ISBN: 9781447125136
Издательство: Springer
Классификация:




ISBN-10: 1447125134
Обложка/Формат: Paperback
Страницы: 502
Вес: 0.73 кг.
Дата издания: 14.03.2012
Серия: Texts in Computer Science
Язык: English
Размер: 233 x 156 x 28
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.


Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Автор: Zhe Ma; Pol Marchal; Daniele Paolo Scarpazza; Peng
Название: Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
ISBN: 9048176107 ISBN-13(EAN): 9789048176106
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A genuinely useful text that gives an overview of the state-of-the-art in system-level design trade-off explorations for concurrent tasks running on embedded heterogeneous multiple processors. This material is mainly based on research at IMEC and its international university network partners in this area over the last decade.

Sequential Logic and Verilog HDL Fundamentals

Автор: Cavanagh
Название: Sequential Logic and Verilog HDL Fundamentals
ISBN: 1498738222 ISBN-13(EAN): 9781498738224
Издательство: Taylor&Francis
Рейтинг:
Цена: 28327.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Sequential Logic and Verilog HDL Fundamentals discusses the analysis and synthesis of synchronous and asynchronous sequential machines. These machines are implemented using Verilog Hardware Description Language (HDL), in accordance with the Institute of Electrical and Electronics Engineers (IEEE) Standard: 1364-1995.

The book concentrates on sequential logic design with a focus on the design of various Verilog HDL projects. Emphasis is placed on structured and rigorous design principles that can be applied to practical applications. Each step of the analysis and synthesis procedures is clearly delineated. Each method that is presented is expounded in sufficient detail with accompanying examples. Many analysis and synthesis examples use mixed-logic symbols incorporating both positive- and negative-input logic gates for NAND (not AND) and NOR (not OR) logic, while other examples utilize only positive-input logic gates. The use of mixed logic parallels the use of these symbols in the industry.

The book is intended to be a tutorial, and as such, is comprehensive and self-contained. All designs are carried through to completion--nothing is left unfinished or partially designed. Each chapter contains numerous problems of varying complexity to be designed by the reader using Verilog HDL design techniques. The Verilog HDL designs include the design module, the test bench module that tests the design for correct functionality, the outputs obtained from the test bench, and the waveforms obtained from the test bench.

Sequential Logic and Verilog HDL Fundamentals presents Verilog HDL with numerous design examples to help the reader thoroughly understand this popular hardware description language. The book is designed for practicing electrical engineers, computer engineers, and computer scientists; for graduate students in electrical engineering, computer engineering, and computer science; and for senior-level undergraduate students.

Specification and Verification of Concurrent Systems

Автор: Charles Rattray
Название: Specification and Verification of Concurrent Systems
ISBN: 3540195815 ISBN-13(EAN): 9783540195818
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.

Compositional Verification of Concurrent and Real-Time Systems

Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai
Название: Compositional Verification of Concurrent and Real-Time Systems
ISBN: 1461353491 ISBN-13(EAN): 9781461353492
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.

Verifying Concurrent Processes Using Temporal Logic

Автор: B. T. Hailpern
Название: Verifying Concurrent Processes Using Temporal Logic
ISBN: 3540112057 ISBN-13(EAN): 9783540112051
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Concurrent Engineering and Design for Manufacture of Electronics Products

Автор: Sammy G. Shina
Название: Concurrent Engineering and Design for Manufacture of Electronics Products
ISBN: 1468465201 ISBN-13(EAN): 9781468465204
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is intended to introduce and familiarize design, production, quality, and process engineers, and their managers to the importance and recent developments in concurrent engineering (CE) and design for manufacturing (DFM) of new products.

A VLSI Architecture for Concurrent Data Structures

Автор: J. W. Dally
Название: A VLSI Architecture for Concurrent Data Structures
ISBN: 1461291917 ISBN-13(EAN): 9781461291916
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent data structures simplify the development of concurrent programs by encapsulating commonly used mechanisms for synchronization and commu- nication into data structures.


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