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

Assertion-Based Design, Harry D. Foster; Adam C. Krolnik; David J. Lacey


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

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

Автор: Harry D. Foster; Adam C. Krolnik; David J. Lacey
Название:  Assertion-Based Design
ISBN: 9781441954626
Издательство: Springer
Классификация:




ISBN-10: 1441954627
Обложка/Формат: Paperback
Страницы: 390
Вес: 0.58 кг.
Дата издания: 05.11.2010
Язык: English
Размер: 234 x 156 x 22
Основная тема: Engineering
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.


Dalit Assertion: Oxford India Short Introductions

Автор: Pai Sudha
Название: Dalit Assertion: Oxford India Short Introductions
ISBN: 0198095937 ISBN-13(EAN): 9780198095934
Издательство: Oxford Academ
Рейтинг:
Цена: 1266.00 р.
Наличие на складе: Поставка под заказ.

Описание: The Oxford India Short Introductions are brief, stimulating, and accessible guides to different aspects of India. Combining authoritative analysis, new ideas, and diverse perspectives, they discuss subjects which are topical yet enduring, as also emerging areas of study and debate.
This particular title analyses the phenomenon of Dalit assertion that India has experienced in recent decades. Arguing that it is a part of the larger process of democratization since Independence and an upsurge from below that has constructed a new identity of the Dalit, alternative ideology of Ambedkarism and questioned the hierarchical caste structure, which has historically oppressed the former untouchables. It discusses three forms that Dalit assertion has taken: grassroots assertions, political parties, and more recently, middle-class activism. Assertion has raised political consciousness, enabled greater political participation, but not unity, and often led to violent caste atrocities against Dalits, particularly by the backward castes, in many states/regions.
The nature and form of Dalit assertion has been a source of considerable controversy. While scholars have held that it has led to social deepening of democracy; questions have been raised about its role in empowering Dalits. This Short Introduction argues that the Dalit movement is in a phase of transition in which it has been able to question, with some degree of success, but not overcome upper caste domination and oppression and introduce transformation. While highlighting the achievements of Dalit assertion, this work also discusses its weaknesses, limitations, and possibilities.

Assertion

Название: Assertion
ISBN: 019957300X ISBN-13(EAN): 9780199573004
Издательство: Oxford Academ
Рейтинг:
Цена: 10138.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assertion is a fundamental feature of language. This volume will be the place to look for anyone interested in current work on the topic. Philosophers of language and epistemologists join forces to elucidate what kind of speech act assertion is, particularly in light of relativist views of truth, and how assertion is governed by epistemic norms.

Assertion-Based Design

Автор: Harry D. Foster; Adam C. Krolnik; David J. Lacey
Название: Assertion-Based Design
ISBN: 146134848X ISBN-13(EAN): 9781461348481
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Design engineers that add assertions to their design will not only reduce the time needed to complete a design, they will also reduce the number of interruptions from verification engineers to answer questions about design intent and to address verification suite mistakes.

Creating Assertion-Based IP

Автор: Harry D. Foster; Adam C. Krolnik
Название: Creating Assertion-Based IP
ISBN: 1441942181 ISBN-13(EAN): 9781441942180
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning and is the first book published on this subject.

Epistemic Norms: New Essays on Action, Belief, and Assertion

Автор: Littlejohn Clayton, Turri John
Название: Epistemic Norms: New Essays on Action, Belief, and Assertion
ISBN: 0199660026 ISBN-13(EAN): 9780199660025
Издательство: Oxford Academ
Рейтинг:
Цена: 12672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Epistemic norms play an increasingly important role in current debates in epistemology and beyond. In this volume a team of established and emerging scholars presents new work on the key debates. They consider what epistemic requirements constrain appropriate belief, assertion, and action, and explore the interconnections between these standards.

Cold war and national assertion in southeast asia

Автор: Foley, Matthew
Название: Cold war and national assertion in southeast asia
ISBN: 0415554764 ISBN-13(EAN): 9780415554763
Издательство: Taylor&Francis
Рейтинг:
Цена: 22968.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is a detailed case study of post-colonial transition in Asia in the context of the emerging Cold War; it charts British and American approaches to Burma between the country`s independence from the United Kingdom in 1948 and the military coup that ended civilian government in 1962.

Assertion and Conditionals

Автор: Appiah
Название: Assertion and Conditionals
ISBN: 0521071291 ISBN-13(EAN): 9780521071291
Издательство: Cambridge Academ
Рейтинг:
Цена: 5069.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book develops in detail the simple idea that assertion is the expression of belief. In it the author puts forward a version of `probabilistic semantics` which acknowledges that we are not perfectly rational, and which offers a significant advance in generality on theories of meaning couched in terms of truth conditions.

Generating Hardware Assertion Checkers

Автор: Marc Boul?; Zeljko Zilic
Название: Generating Hardware Assertion Checkers
ISBN: 904817922X ISBN-13(EAN): 9789048179220
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents an "under-the-hood" view of generating assertion checkers. It gives a unique and consistent perspective on employing assertions in such areas as specification, verification, debugging, on-line monitoring and design quality improvement.

Assertion: New Philosophical Essays

Автор: Brown Jessica, Cappelen Herman
Название: Assertion: New Philosophical Essays
ISBN: 0198707630 ISBN-13(EAN): 9780198707639
Издательство: Oxford Academ
Рейтинг:
Цена: 3879.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assertion is a fundamental feature of language. This volume will be the place to look for anyone interested in current work on the topic. Philosophers of language and epistemologists join forces to elucidate what kind of speech act assertion is, particularly in light of relativist views of truth, and how assertion is governed by epistemic norms.

Assertion

Автор: M. Jary
Название: Assertion
ISBN: 1349365033 ISBN-13(EAN): 9781349365036
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assertion is a term frequently used in linguistics and philosophy but rarely defined. This in-depth study surveys and synthesizes a range of philosophical, linguistic and psychological literature on the topic, and then presents a detailed account of the cognitive processes involved in the interpretation of assertions.

The Norms of Assertion

Автор: McKinnon
Название: The Norms of Assertion
ISBN: 1137521716 ISBN-13(EAN): 9781137521712
Издательство: Springer
Рейтинг:
Цена: 10760.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: When we make claims to each other, we`re asserting. But what does it take to assert well? Do we need to know what we`re talking about? This book argues that we don`t. In fact, it argues that in some special contexts, we can lie.


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