Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Scalable Techniques for Formal Verification

Język AngielskiAngielski
Książka Twarda
Książka Scalable Techniques for Formal Verification Sandip Ray
Kod Libristo: 01423877
Wydawnictwo Springer-Verlag New York Inc., maj 2010
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Cały opis
? points 277 b
Gwarancja
najlepszej
ceny ▸
486.75 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 11-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Książka Miękka
common.buy 211.12 zł
Komplexes Problemloesen Ulrike Kipman / Książka Miękka
common.buy 183.04 zł
Spielplan Simon Golthauer / Książka Twarda
common.buy 110.28 zł
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Książka Miękka
common.buy 262.94 zł
Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Książka Miękka
common.buy 177.61 zł
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Książka Miękka
common.buy 122.46 zł
Stírací mapa Evropy – zlatá Deluxe XL / Prasa Mapa
common.buy 89.35 zł
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Książka Miękka
common.buy 64.60 zł
petit cirque du salut. PIERRE HENRI DUBOIS / Książka Miękka
common.buy 53.53 zł
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Książka Miękka
common.buy 74.16 zł
WK 133 Graz u. Umgebung 1:50 000 / Prasa Mapa
common.buy 51.82 zł
Fahnenweihe Josef Ruederer / Książka Miękka
common.buy 62.68 zł
Soehne des Herrn Budiwoj August Sperl / Książka Miękka
common.buy 149.13 zł
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Gra/Zabawka Gra
common.buy 47.29 zł
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Książka Miękka
common.buy 156.67 zł
Allgemeine Untersuchungsmethoden R Strohecker / Książka Miękka
common.buy 269.99 zł
František Pubička S.I. (1722-1807) Jakub Zouhar / Książka Karta
common.buy 68.62 zł
Theorien Des Magnetismus Joseph Würschmidt / Książka Miękka
common.buy 240.30 zł
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Książka Miękka
common.buy 61.28 zł
Shitstorm or Nonsens Peter H. Kemp / Książka Miękka
common.buy 45.27 zł
EinFach Deutsch Textausgaben Georg Büchner / Książka Miękka
common.buy 37.42 zł

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Scalable Techniques for Formal Verification
Autor Sandip Ray
Język Angielski
Oprawa Książka - Twarda
Data wydania 2010
Liczba stron 243
EAN 9781441959973
ISBN 1441959971
Kod Libristo 01423877
Wydawnictwo Springer-Verlag New York Inc.
Waga 1200
Wymiary 155 x 235 x 25

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Obwody i komponenty elektroniczne
Technika, inżynieria i rolnictwo, procesy przemysłowe > Technika – zagadnienia ogólne > Inżynieria – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
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ć

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG / Książka Miękka
common.buy 297.56 zł
Natural History of the West Indies Sterling A. Stoudemire / Książka Miękka
common.buy 138.96 zł
Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA / Książka Miękka
common.buy 51.41 zł
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Książka Miękka
common.buy 122.46 zł
TOP
Legends & Lattes BALDREE TRAVIS / Książka Miękka
common.buy 55.34 zł
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Książka Książka
common.buy 326.84 zł
The Superman Years: the Emotional Life of a Parent Caring for a Child with Type 1 Diabetes Linda Rupnow Buzogany MS Lpc / Książka Miękka
common.buy 63.19 zł
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Książka Miękka
common.buy 28.77 zł
V2 Robert Harris / Książka Miękka
common.buy 45.98 zł
Future Religious Policy of America William R. Halstead / Książka Miękka
common.buy 97.30 zł
The DC Book of Pride: A Celebration of DC's Lgbtqia+ Characters DK / Książka Twarda
common.buy 68.82 zł
What You See Cherise Sinclair / Książka Miękka
common.buy 71.64 zł
Sleeping Beauty Jennifer Adams / Książka Leporelo
common.buy 41.45 zł
Renaissance Masterpieces of Art Julia Biggs / Książka Twarda
common.buy 78.99 zł
Culinary Herbs and Spices Magali Chohan / Książka Twarda
common.buy 541.39 zł
TOP
Board Game Design Advice Gabe Barrett / Książka Miękka
common.buy 82.01 zł
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Książka Miękka
common.buy 63.09 zł
Never Always: A Enemies to Lovers Navy SEAL Romance Rachel Robinson / Książka Miękka
common.buy 55.54 zł
Ethics C.D. Broad / Książka Twarda
common.buy 963.14 zł
Three Days in June TYLER ANNE / Książka Twarda
common.buy 88.85 zł
Lectures on the Philosophy of World History Georg Wilhelm Friedrich HegelHugh Barr NisbetDuncan Forbes / Książka Miękka
common.buy 186.36 zł
Media Production, Delivery and Interaction for Platform Independent Systems - Format-Agnostic Media Oliver Schreer / Książka Twarda
common.buy 462.30 zł
Standing Down Falling Up Nita Jackson / Książka Miękka
common.buy 165.33 zł
TOP
Jony Ive Leander Kahney / Książka Miękka
common.buy 52.12 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?