Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Scalable Techniques for Formal Verification

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Scalable Techniques for Formal Verification Sandip Ray
Libristo kod: 01423877
Nakladnici Springer-Verlag New York Inc., svibanj 2010
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Cijeli opis
? points 265 b
109.39 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Knjiga Meki uvez
common.buy 37.74 €
Spielplan Simon Golthauer / Knjiga Tvrdi uvez
common.buy 22.46 €
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Knjiga Meki uvez
common.buy 59.09 €
Mustafa Al -Nahhas Abbas Hafez / E-knjiga Adobe ePub DRM
common.buy 12.54 €
Bosco. Una vida en tu mirada ANCA / Knjiga Knjiga
common.buy 25.19 €
Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Knjiga Meki uvez
common.buy 47.35 €
WK 133 Graz u. Umgebung 1:50 000 / Tiskanica Mapa
common.buy 12.23 €
Soehne des Herrn Budiwoj August Sperl / Knjiga Meki uvez
common.buy 24.18 €
EinFach Deutsch Textausgaben Georg Büchner / Knjiga Meki uvez
common.buy 7.28 €
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Knjiga Meki uvez
common.buy 14.46 €
Theorien Des Magnetismus Joseph Würschmidt / Knjiga Meki uvez
common.buy 53.12 €
František Pubička S.I. (1722-1807) Jakub Zouhar / Knjiga List
common.buy 15.17 €
Das Bürgerliche Gesetzbuch aus Sicht des Common Law. Marcus Dittmann / Knjiga Meki uvez
common.buy 150.68 €
Allgemeine Untersuchungsmethoden R Strohecker / Knjiga Meki uvez
common.buy 53.12 €
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Knjiga Meki uvez
common.buy 32.07 €
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Igra/Igračka Igra
common.buy 10.51 €
Komplexes Problemloesen Ulrike Kipman / Knjiga Meki uvez
common.buy 37.84 €
Fahnenweihe Josef Ruederer / Knjiga Meki uvez
common.buy 6.57 €
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Knjiga Meki uvez
common.buy 17.40 €
petit cirque du salut. PIERRE HENRI DUBOIS / Knjiga Meki uvez
common.buy 12.64 €
IMPERIOFILIA Y EL POPULISMO NACIONAL-CATÓLICO JOSE LUIS VILLACAÑAS / Knjiga Meki uvez
common.buy 20.13 €
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Knjiga Meki uvez
common.buy 14.36 €
Stírací mapa Evropy – zlatá Deluxe XL / Tiskanica Mapa
common.buy 21.04 €
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Knjiga Meki uvez
common.buy 28.83 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Scalable Techniques for Formal Verification
Autor Sandip Ray
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2010
Broj stranica 243
EAN 9781441959973
ISBN 1441959971
Libristo kod 01423877
Nakladnici Springer-Verlag New York Inc.
Težina 1200
Dimenzije 155 x 235 x 25

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Information technology: general issues
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG / Knjiga Meki uvez
common.buy 70.02 €
Implementing Health-Protective Features and Practices in Buildings Federal Facilities Council / Knjiga Meki uvez
common.buy 57.57 €
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Knjiga Knjiga
common.buy 70.12 €
Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets Hubbard Cobb / Knjiga Meki uvez
common.buy 12.74 €
Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA / Knjiga Meki uvez
common.buy 12.13 €
Heart of Darkness Joseph Conrad / Knjiga Meki uvez
common.buy 4.24 €
In Foreign Lands: The Migration of Scientists for Political or Economic Reasons Maria Teresa Borgato / E-knjiga Adobe ePub DRM
common.buy 193.38 €
Fractured Minds Jenni A. Ogden / E-knjiga Adobe ePub DRM
common.buy 51.20 €
The Superman Years: the Emotional Life of a Parent Caring for a Child with Type 1 Diabetes Linda Rupnow Buzogany MS Lpc / Knjiga Meki uvez
common.buy 14.87 €
Top
Legends & Lattes BALDREE TRAVIS / Knjiga Meki uvez
common.buy 13.04 €
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Knjiga Meki uvez
common.buy 6.77 €
Pripremamo
It's a Good World Because You're in It ALLAN KATE / Knjiga Tvrdi uvez
common.buy 21.44 €
Future Religious Policy of America William R. Halstead / Knjiga Meki uvez
common.buy 19.72 €
Large Print CODE WORD Book 4 Jaja Books / Knjiga Meki uvez
common.buy 8.79 €
Natural History of the West Indies Sterling A. Stoudemire / Knjiga Meki uvez
common.buy 32.68 €
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Knjiga Meki uvez
common.buy 28.83 €
Sleeping Beauty Jennifer Adams / Knjiga Leporelo
common.buy 9.71 €
Malay Folk Songs Collection: Early to Mid-Intermediate Level Charmaine Siagian / Knjiga Meki uvez
common.buy 10.92 €
Renaissance Masterpieces of Art Julia Biggs / Knjiga Tvrdi uvez
common.buy 18.10 €
Battle for Allegiance Seden Akcinaroglu / Knjiga Tvrdi uvez
common.buy 80.34 €
Knowledge for What?: The Place of Social Science in American Culture. Robert S. Lynd / Knjiga Meki uvez
common.buy 18.10 €
V2 Robert Harris / Knjiga Meki uvez
common.buy 10.82 €
Board Game Design Advice Gabe Barrett / Knjiga Meki uvez
common.buy 18.71 €
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Knjiga Meki uvez
common.buy 14.87 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?