Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 14.99 zł Poczta Polska 20.99 zł Paczkomat 15.99 zł InPost Kurier 14.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Advanced Formal Verification

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

Rolf Drechsler

Język

Angielski

Książka Miękka

Kod Libristo: 06794578

Wydawnictwo Springer-Verlag New York Inc., grudzień 2010

Advanced Formal Verification shows the latest developments in the verification domain from the persp... Cały opis

Kod Libristo: 06794578

236 b

426.01 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Obraz Doriana Graye Oscar Wilde

Twarda

43.34 zł

20 kompakte Lesetests für Klasse 2 Anne Scheller

Karta

120.24 zł

eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen

Miękka

74.68 zł

Wien Oliver Rathkolb

Miękka

46.47 zł

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

Miękka

28.69 zł

Camino de Sirga Jesús Moncada

Miękka

90.23 zł

HASTA QUE LA BODA NOS SEPARE SOSA

Miękka

121.65 zł

Újra veled álmodom Tomor Anita

Twarda

66.88 zł

Chat GPT Welches KI Modell passt zu dir? Alena Kerbel

Karta

56.27 zł

artgerecht - Das andere Schulkinder-Buch Claudia Meitert

Twarda

78.50 zł

Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera

Miękka

161.47 zł

Harahara Sensei - Die tickende Zeitbombe 02 Yanagi Takakuchi

Miękka

34.90 zł

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

Twarda

72.34 zł

Seuls 10/La machine a demourir Vehlmann Fabien

Twarda

72.85 zł

L'Invitation - Une nouvelle erotique Lind

MP3

17.39 zł

LOS MAESTROS DIVINOS ORACULO Kyle Gray

Książka

114.07 zł

Meine wilde Schönheit Martina Stubenschrott

Twarda

90.43 zł

Historia, novela y tragedia Carlos García Gual

Miękka

65.67 zł

VIBRATORIUM Tom Kenyon

CD Audio

68.91 zł

The Breed Is Funkin' Peter Weniger

Nuty

150.96 zł

Filon de Gerard: Les Chercheurs d'Or de l'Afrique Australe Andre Laurie

Miękka

106.70 zł

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

Miękka

122.97 zł

Kultursensible Gesundheitsversorgung Brigitte Link

Miękka

217.55 zł

Turismo e Desenvolvimento em Moreno - PE Robson Nascimento da Mota

Miękka

183.39 zł

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. §

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Advanced Formal Verification

Autor Rolf Drechsler

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2010

Liczba stron 250

EAN 9781441954206

ISBN 1441954201

Kod Libristo 06794578

Wydawnictwo Springer-Verlag New York Inc.

Waga 860

Wymiary 155 x 235 x 16

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce

Technika, inżynieria i rolnictwo, procesy przemysłowe > Energetyka i inżynieria energetyczna > Inżynieria elektryczna

Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Filozofia i religia > Filozofia

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Altering Nature B. A. Lustig

Książka

741.08 zł

Journey to Healing & Cherry Popsicles Too Kyle Duvall

Miękka

93.26 zł

With Her Songs: The Atlantic Albums, 1969-1978 Roberta Flack

CD Audio

321.73 zł

LIFE THAT WOKE ME UP WAS MY OW Nancy Swisher

Miękka

74.46 zł

Inside Out W Atkins

Miękka

30.20 zł

Everlasting Arms Dorita Lynn Kornelsen

Miękka

28.79 zł

Paediatric Dentistry Richard Welbury

Miękka

416.31 zł

History of Landholding in England Joseph Fisher

Miękka

48.29 zł

Harold the Bionic Hamster Philip Watson

Miękka

54.46 zł

Photo-catalytic Control Technologies of Flue Gas Pollutants Jiang Wu

Twarda

426.01 zł

Dancing Through the Storm Felicia Allen

Miękka

42.13 zł

Great Atlas of Iran & the World 1:4 500 000 Glenn Riedel

Miękka

327.69 zł

The Most Iconic People's Names Begin with C Madrats Ent

Miękka

42.33 zł

Guilty Greg Zemlansky

Miękka

46.27 zł

Erythrocytes of the Rhesus and Cynomolgus Monkeys Chester A. Glomski

Miękka

430.05 zł

Italy, Handbook for Travellers: Northern Italy, Including Leghorn, Florence, Ravenna, the Island of Corsica, and Routes Through France, Switzerland, a Karl Baedeker (Firm)

Miękka

137.82 zł