Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Scalable Techniques for Formal Verification

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Scalable Techniques for Formal Verification Sandip Ray
Libristo-code: 01423877
Uitgeverij Springer-Verlag New York Inc., mei 2010
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Volledige beschrijving
? points 290 b
119.76 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Boek Gebonden (paperback)
common.buy 49.70 €
Komplexes Problemloesen Ulrike Kipman / Boek Gebonden (paperback)
common.buy 37.85 €
Spielplan Simon Golthauer / Boek Gebonden (harde band)
common.buy 22.47 €
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Boek Gebonden (paperback)
common.buy 61.95 €
Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Boek Gebonden (paperback)
common.buy 41.80 €
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Boek Gebonden (paperback)
common.buy 28.84 €
Stírací mapa Evropy – zlatá Deluxe XL / Drukwerk Kaart
common.buy 21.05 €
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Boek Gebonden (paperback)
common.buy 16.09 €
petit cirque du salut. PIERRE HENRI DUBOIS / Boek Gebonden (paperback)
common.buy 12.64 €
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Boek Gebonden (paperback)
common.buy 17.40 €
WK 133 Graz u. Umgebung 1:50 000 / Drukwerk Kaart
common.buy 12.24 €
Fahnenweihe Josef Ruederer / Boek Gebonden (paperback)
common.buy 6.57 €
Soehne des Herrn Budiwoj August Sperl / Boek Gebonden (paperback)
common.buy 24.19 €
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Spel/speelgoed Spel
common.buy 11.63 €
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Boek Gebonden (paperback)
common.buy 32.08 €
Allgemeine Untersuchungsmethoden R Strohecker / Boek Gebonden (paperback)
common.buy 53.14 €
František Pubička S.I. (1722-1807) Jakub Zouhar / Boek Blad
common.buy 16.19 €
Theorien Des Magnetismus Joseph Würschmidt / Boek Gebonden (paperback)
common.buy 53.14 €
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Boek Gebonden (paperback)
common.buy 14.47 €
EinFach Deutsch Textausgaben Georg Büchner / Boek Gebonden (paperback)
common.buy 7.28 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Scalable Techniques for Formal Verification
Auteur Sandip Ray
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2010
Aantal pagina's 243
EAN 9781441959973
ISBN 1441959971
Libristo-code 01423877
Uitgeverij Springer-Verlag New York Inc.
Gewicht 1200
Afmetingen 155 x 235 x 25

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Technologie, techniek, landbouw, industriële processen > Technologie: algemene onderwerpen > Techniek: algemeen
Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
Informatica en informatietechnologie > Informatica: algemene onderwerpen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG / Boek Gebonden (paperback)
common.buy 70.05 €
Natural History of the West Indies Sterling A. Stoudemire / Boek Gebonden (paperback)
common.buy 32.69 €
Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA / Boek Gebonden (paperback)
common.buy 12.14 €
Psychological Testing in the Service of Disability Determination Board on the Health of Select Populations / Boek Gebonden (paperback)
common.buy 66.91 €
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Boek Gebonden (paperback)
common.buy 28.84 €
TOP
Legends & Lattes BALDREE TRAVIS / Boek Gebonden (paperback)
common.buy 13.05 €
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Boek Boek
common.buy 76.93 €
The Superman Years: the Emotional Life of a Parent Caring for a Child with Type 1 Diabetes Linda Rupnow Buzogany MS Lpc / Boek Gebonden (paperback)
common.buy 14.87 €
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Boek Gebonden (paperback)
common.buy 6.77 €
V2 Robert Harris / Boek Gebonden (paperback)
common.buy 11.53 €
Future Religious Policy of America William R. Halstead / Boek Gebonden (paperback)
common.buy 19.73 €
The DC Book of Pride: A Celebration of DC's Lgbtqia+ Characters DK / Boek Gebonden (harde band)
common.buy 17.20 €
What You See Cherise Sinclair / Boek Gebonden (paperback)
common.buy 16.90 €
Sleeping Beauty Jennifer Adams / Boek Leporello (harmonicaboek)
common.buy 10.42 €
Renaissance Masterpieces of Art Julia Biggs / Boek Gebonden (harde band)
common.buy 18.11 €
Culinary Herbs and Spices Magali Chohan / Boek Gebonden (harde band)
common.buy 135.96 €
TOP
Board Game Design Advice Gabe Barrett / Boek Gebonden (paperback)
common.buy 19.33 €
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Boek Gebonden (paperback)
common.buy 14.87 €
Never Always: A Enemies to Lovers Navy SEAL Romance Rachel Robinson / Boek Gebonden (paperback)
common.buy 13.05 €
Ethics C.D. Broad / Boek Gebonden (harde band)
common.buy 205.91 €
Three Days in June TYLER ANNE / Boek Gebonden (harde band)
common.buy 20.95 €
Lectures on the Philosophy of World History Georg Wilhelm Friedrich HegelHugh Barr NisbetDuncan Forbes / Boek Gebonden (paperback)
common.buy 48.48 €
Media Production, Delivery and Interaction for Platform Independent Systems - Format-Agnostic Media Oliver Schreer / Boek Gebonden (harde band)
common.buy 114.19 €
Standing Down Falling Up Nita Jackson / Boek Gebonden (paperback)
common.buy 38.87 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?