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ł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 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 288 b
Gwarancja
najlepszej
ceny ▸
518.49 zł
Dostępna u dostawcy Wysyłamy za 9-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Bosco. Una vida en tu mirada ANCA / Książka Książka
common.buy 94.48 zł
František Pubička S.I. (1722-1807) Jakub Zouhar / Książka Karta
common.buy 70.51 zł
Spielplan Simon Golthauer / Książka Twarda
common.buy 91.97 zł
Mathematik - Allgemeine Ausgabe 2006 für die Sekundarstufe I Jochen Herling / Książka Twarda
common.buy 159.16 zł
Bol raz jeden život Srdce Jean-Charles Gaudin / Książka Twarda
common.buy 47.44 zł
Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Książka Miękka
common.buy 211.44 zł
EinFach Deutsch Textausgaben Georg Büchner / Książka Miękka
common.buy 37.16 zł
TU BUEN AMOR PROPIO ANTONIO CRESPILLO / Książka Miękka
common.buy 77.56 zł
Out Of Touch In The Wild Dutch Uncles / Audio CD Audio
common.buy 44.32 zł
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Gra/Zabawka Gra
common.buy 47.44 zł
Soehne des Herrn Budiwoj August Sperl / Książka Miękka
common.buy 98.92 zł
Xirinacs. El profetisme radical i noviolent LLUIS BUSQUETS I GRABULOSA / Książka Miękka
common.buy 115.34 zł
Fahnenweihe Josef Ruederer / Książka Miękka
common.buy 28.70 zł
Dictionnaire Junior Wolof: Wolof-Francais Illustre, Francais-Wolof kasahorow / Książka Miękka
common.buy 111.41 zł
WK 133 Graz u. Umgebung 1:50 000 / Prasa Mapa
common.buy 53.18 zł
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Książka Miękka
common.buy 78.06 zł
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Książka Miękka
common.buy 523.83 zł
Traumanarben Hanna Selin / Książka Miękka
common.buy 41.09 zł
Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Książka Miękka
common.buy 181.12 zł
IMPERIOFILIA Y EL POPULISMO NACIONAL-CATÓLICO JOSE LUIS VILLACAÑAS / Książka Miękka
common.buy 79.17 zł
Gedanken einer K nigin - Les pens es d'une reine. Gesammelte Aphorismen in deutscher und franz sischer Sprache und Epigramme der K nigin Elisabeth von Carmen Sylva / Książka Miękka
common.buy 268.56 zł
Stírací mapa Evropy – zlatá Deluxe XL / Prasa Mapa
common.buy 88.14 zł
Das Bürgerliche Gesetzbuch aus Sicht des Common Law. Marcus Dittmann / Książka Miękka
common.buy 690.25 zł
Cognitieve ontwikkeling van studenten RONALD SUMAYA Decano / Książka Miękka
common.buy 219.20 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 327.69 zł
Trade Liberalisation in Sri Lanka Ganeshan Wignaraja / Książka Twarda
common.buy 518.49 zł
Coming to Wholeness Connirae Andreas / Książka Miękka
common.buy 59.12 zł
Culinary Herbs and Spices Magali Chohan / Książka Twarda
common.buy 548.92 zł
Never Always: A Enemies to Lovers Navy SEAL Romance Rachel Robinson / Książka Miękka
common.buy 58.22 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 66.38 zł
TOP
Board Game Design Advice Gabe Barrett / Książka Miękka
common.buy 86.52 zł
TOP
Reflections on the Psalms C.S. Lewis / Książka Miękka
common.buy 48.14 zł
Knowledge for What?: The Place of Social Science in American Culture. Robert S. Lynd / Książka Miękka
common.buy 74.84 zł
Virgil ?neid A. A. Irwin Nesbitt / Książka Miękka
common.buy 82.19 zł
Battle for Allegiance Seden Akcinaroglu / Książka Twarda
common.buy 370.61 zł
Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets Hubbard Cobb / Książka Miękka
common.buy 56.91 zł
Renaissance Masterpieces of Art Julia Biggs / Książka Twarda
common.buy 78.57 zł
Malay Folk Songs Collection: Early to Mid-Intermediate Level Charmaine Siagian / Książka Miękka
common.buy 51.87 zł
Sleeping Beauty Jennifer Adams / Książka Leporelo
common.buy 39.68 zł
Natural History of the West Indies Sterling A. Stoudemire / Książka Miękka
common.buy 146.16 zł
Large Print CODE WORD Book 4 Jaja Books / Książka Miękka
common.buy 39.48 zł
Future Religious Policy of America William R. Halstead / Książka Miękka
common.buy 80.98 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 66.38 zł
Heart of Darkness Joseph Conrad / Książka Miękka
common.buy 19.03 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 30.11 zł
Tolstoy and his Disciples Alston Charlotte Alston / E-book Adobe ePub DRM
common.buy 194.72 zł
Casting Homeward Steve Ramirez / E-book Adobe ePub DRM
common.buy 124.60 zł
TOP
Fake Fact Lips Machi Suehiro / Książka Miękka
common.buy 57.31 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?