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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Scalable Techniques for Formal Verification

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Scalable Techniques for Formal Verification SANDIP RAY
Libristo-code: 09062296
Uitgeverij Springer-Verlag New York Inc., oktober 2014
This book presents the latest approaches to formal verification techniques to seamlessly integrate d... Volledige beschrijving
? points 275 b
113.53 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Boek binding.
common.buy 35.31 €
30 días con Don Bosco Borelli / Boek Gebonden (paperback)
common.buy 10.59 €
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Boek Boek
common.buy 18.16 €
Pád modrého ptáka Petr Štěpánek / Boek Gebonden (paperback)
common.buy 7.16 €
The Villainess is a Marionette 03 hanirim / Boek Gebonden (paperback)
common.buy 14.42 €
Voordelig
Eislotus. Wasser findet seinen Weg Liza Grimm / Boek Gebonden (paperback)
common.buy 13.82 €
Агата Мiстерi. Книга 7. Корона дожiв Steve Stevenson / Boek Gebonden (harde band)
common.buy 24.31 €
Láska, svoboda, samota Osho / Boek Gebonden (paperback)
common.buy 14.62 €
Les Martionautes Marie-France Esperce / Boek Gebonden (paperback)
common.buy 21.59 €
Wordt verwacht
Les figures symboliques du Féminin et du Masculin : de la préhistoire à la mythologie VERCHERE MERLE / Boek Gebonden (paperback)
common.buy 25.22 €
Les Albanais en Yougoslavie - minorité nationale, territoire et développement Roux Boek Gebonden (paperback)
common.buy 39.05 €
Déluge Stephen Baxter / Boek Gebonden (paperback)
common.buy 32.08 €
Nosferatu Philippe Druillet / Boek Boek
common.buy 27.04 €
Pexeso dřevo - společenská hra / 40 ks v krabici / Spel/speelgoed Spel
common.buy 21.89 €
Cabin Porn Za dveřmi Klein Zach / Boek Gebonden (harde band)
common.buy 22.70 €
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Audio Audio cd
common.buy 9.88 €
Telemedicina, un mundo a descubrir Fernando Tejo / Boek Gebonden (paperback)
common.buy 48.84 €
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Boek Gebonden (harde band)
common.buy 62.67 €
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Boek Gebonden (harde band)
common.buy 239.59 €
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Boek Gebonden (harde band)
common.buy 438.92 €
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Boek Gebonden (paperback)
common.buy 93.55 €
Histoire, Proces Et Condamnation Des Criminels Celebres B RENAULT / Boek Gebonden (paperback)
common.buy 23.91 €

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

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 (paperback)
Datum van uitgifte 2014
Aantal pagina's 243
EAN 9781489984449
ISBN 9781489984449
Libristo-code 09062296
Uitgeverij Springer-Verlag New York Inc.
Gewicht 403
Afmetingen 155 x 235 x 15

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

Set Theory for Computing Domenico Cantone / Boek Gebonden (paperback)
common.buy 154.01 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Boek Gebonden (paperback)
common.buy 102.73 €
Ultraviolet Germicidal Irradiation Handbook Kowalski / Boek Gebonden (paperback)
common.buy 307.72 €
Embodied Social Cognition Jessica Lindblom / Boek Gebonden (harde band)
common.buy 102.73 €
Key Aspects of German Business Law Michael Wendler / Boek Gebonden (harde band)
common.buy 185.39 €
Say Goodnight Helen Oxenbury / Boek Leporello (harmonicaboek)
common.buy 8.67 €
Voordelig
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Boek Gebonden (paperback)
common.buy 5.24 €
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Boek Gebonden (paperback)
common.buy 10.89 €
Why does my Daddy Drink Pamela J Tomlinson / Boek Gebonden (paperback)
common.buy 18.06 €
Wordt verwacht
Eyes Open Level 3 Class Audio CDs (3) Grade 7 Kazakhstan Edition GOLDSTEIN BEN / Audio Audio cd
common.buy 85.37 €
The Mystery of Edwin Drood DICKENS / Boek Gebonden (paperback)
common.buy 12.00 €
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Boek Gebonden (paperback)
common.buy 14.83 €
Dinner Time / Boek Gebonden (harde band)
common.buy 43.19 €
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Boek Gebonden (paperback)
common.buy 19.17 €
The Case of Seduction: Being, an Account of the Late Proceedings at Paris, as Well Ecclesiastical as Civil, Against the Reverend Abb E, Claud Rogers / Boek Gebonden (paperback)
common.buy 15.53 €
Marked Heart: A Marked Heart Novel M Sembera / Boek Gebonden (paperback)
common.buy 12.10 €
Force Like No Other 1 Colin Breen / Boek Gebonden (paperback)
common.buy 14.62 €
Federica Scot Ritchie / Boek Gebonden (harde band)
common.buy 15.73 €
Book of the Horse Angus Hyland / Boek Gebonden (paperback)
common.buy 14.73 €
Pharmaceutical Botany Heber Wilkinson Youngken / Boek Gebonden (harde band)
common.buy 44.30 €
Hand Book to Veterinary Homoeopathy John Rush / Boek Gebonden (paperback)
common.buy 5.64 €
Essays. Collected and Arranged by Sir George Young Winthrop Mackworth Praed / Boek Gebonden (paperback)
common.buy 23.00 €
Roscoe and Charlie: Travel to Cloudcroft Auntie Nann / Boek Gebonden (paperback)
common.buy 10.28 €
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871) John Crittenden Duval / Boek Gebonden (paperback)
common.buy 31.58 €

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?