Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Advanced Formal Verification

Name: Advanced Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 06794578
Price: 119.75 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9781441954206

Rolf Drechsler

Език

Английски език

Книга С меки корици

Код Либристо: 06794578

Издателство Springer-Verlag New York Inc., декември 2010

Advanced Formal Verification shows the latest developments in the verification domain from the persp... Цялото описание

Код Либристо: 06794578

289 b

119.75 €

234.21 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

Újra veled álmodom Tomor Anita

С твърди корици

15.42 € 30.17 лв

Obraz Doriana Graye Oscar Wilde

С твърди корици

10.61 € 20.75 лв

eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen

С меки корици

18.12 € 35.43 лв

20 kompakte Lesetests für Klasse 2 Anne Scheller

Лист

29.14 € 57.00 лв

Wien Oliver Rathkolb

С меки корици

11.44 € 22.37 лв

HASTA QUE LA BODA NOS SEPARE SOSA

С меки корици

29.09 € 56.90 лв

artgerecht - Das andere Schulkinder-Buch Claudia Meitert

С твърди корици

23.29 € 45.56 лв

Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera

С меки корици

47.27 € 92.44 лв

Wielka Przygoda. Szkoła podstawowa klasa 3 część 2. Podręcznik. Matematyka. Nowa edycja 2025-2027 Krystyna Sawicka

С меки корици

7.29 € 14.27 лв

Chat GPT Welches KI Modell passt zu dir? Alena Kerbel

Лист

13.82 € 27.03 лв

I 13 Lignaggi Satanici - Spianare la strada per l'inferno: La causa di molte disgrazie umane La fine del nostro diritto individuale all'autodeterminaz Robin De Ruiter

С меки корици

19.36 € 37.86 лв

Minecraft. Wioska Brooks Max

С меки корици

10.40 € 20.34 лв

L'Invitation - Une nouvelle erotique Lind

MP3

4.24 € 8.29 лв

Fényből és sárból - Böjte Csaba élete Csender Levente

С твърди корици

16.72 € 32.70 лв

Comprendre et guider le jeune enfant - à la maison, à la garderie Bourcier Книга

С меки корици

14.91 € 29.15 лв

Seuls 10/La machine a demourir Vehlmann Fabien

С твърди корици

18.53 € 36.24 лв

La magie de Saint-Pétersbourg Vladimir Fedorovski

С меки корици

34.06 € 66.62 лв

Le Serapeon, Episode de l'Histoire Du Ive Siecle Brasseur De Bourbourg-E-C

С меки корици

32.25 € 63.08 лв

Europa H. A. Daniel

С меки корици

24.02 € 46.98 лв

Najdi mě André Aciman

С твърди корици

11.33 € 22.17 лв

Meine wilde Schönheit Martina Stubenschrott

С твърди корици

21.90 € 42.82 лв

Aus der Geschichte der Logopädie Alexandra Thiele

С меки корици

52.60 € 102.87 лв

The Breed Is Funkin' Peter Weniger

Ноти

37.22 € 72.80 лв

VIBRATORIUM Tom Kenyon

Аудио компактдиск

20.70 € 40.49 лв

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. §