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.

Roadmap for Formal Property Verification

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Roadmap for Formal Property Verification Pallab Dasgupta
Libristo-code: 01975380
Uitgeverij Springer, oktober 2010
Integrating formal property verification (FPV) into an existing design process raises several intere... Volledige beschrijving
? points 249 b
102.97 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Bound by the Billionaire R. B. Fields / Boek Gebonden (paperback)
common.buy 21.23 €
Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky / Boek Gebonden (paperback)
common.buy 28.62 €
Kuolema keskipaivalla Morelli / Luisterboek MP3
common.buy 7.17 €
Afirmacje - Urok osobisty i atrakcyjnosc Maxx-audio / Luisterboek MP3
common.buy 2.42 €
Frankfurter Sagenbuch Karl Enslin / Boek Gebonden (paperback)
common.buy 35.70 €
Operaciones de caja en la venta. Refuerzo IPA0040 CRUZADO REVILLA / Boek Gebonden (paperback)
common.buy 14.86 €
Rama Gentry / Boek Gebonden (paperback)
common.buy 29.53 €
Jetzt wird gesnackt! Ute-Marion Wilkesmann / Boek Gebonden (paperback)
common.buy 14.46 €
La Responsabilité Médicale: La Réparation Hatim Souktani / Boek Gebonden (paperback)
common.buy 56.94 €
Theoretische Ansatze der Marketingwissenschaft Dirk Lippold / Boek Gebonden (paperback)
common.buy 14.35 €

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

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 Roadmap for Formal Property Verification
Auteur Pallab Dasgupta
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 252
EAN 9789048171859
ISBN 9048171857
Libristo-code 01975380
Uitgeverij Springer
Gewicht 434
Afmetingen 160 x 240 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
Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-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

Polyvinylpyrrolidone Excipients for Pharmaceuticals Volker Bühler / Boek Gebonden (paperback)
common.buy 110.76 €
GOBEKLI TEPE & KARAHAN TEPE WORLDS FIRST NEWMAN HUGH / Boek Gebonden (paperback)
common.buy 7.68 €
Chitosan Films Incorporated with Egg Cell Membrane Marcus Fook / Boek Gebonden (paperback)
common.buy 44.50 €
Forgery Ave Barrera / Boek Gebonden (paperback)
common.buy 10.81 €
Gymnasium CF (Christopher) Forgues / Boek Gebonden (paperback)
common.buy 31.65 €
Popcorn Ideas for Women Groups Hampton Shirley Hampton / Boek Gebonden (paperback)
common.buy 15.57 €
The Life And Works Of Goethe: With Sketches Of His Age And Contemporaries V1 G. H. Lewes / Boek Gebonden (paperback)
common.buy 38.23 €
Economic History of a Divided Europe Ivan T. Berend / Boek Gebonden (harde band)
common.buy 239.63 €
Nitra City guide / Boek Gebonden (paperback)
common.buy 6.26 €
Official History of the UK Strategic Nuclear Deterrent Jones / Boek Gebonden (paperback)
common.buy 69.99 €
First Generation Singular: Reactions to Living in Post-Holocaust Germany: in Poetry and Prose Shirlee Sky Hoffman / Boek Gebonden (paperback)
common.buy 6.77 €
Kiss The Little You Goodbye Sophia Burrell / Boek Gebonden (paperback)
common.buy 11.02 €
National Geographic Readers: Thomas Edison Barbara Kramer / Boek Gebonden (paperback)
common.buy 5.45 €
Raising Drug Addicts Robert Mitchell / Boek Gebonden (harde band)
common.buy 28.11 €
Diagrammatic Representation and Reasoning Michael Anderson / Boek Gebonden (paperback)
common.buy 154.36 €
Market Operations in Electric Power Systems - Forecasting, Scheduling and Risk Management Mohammad Shahidehpour / Boek Gebonden (harde band)
common.buy 199.78 €
TOP
Universe in Your Hand Christophe Galfard / Boek Gebonden (paperback)
common.buy 12.23 €
1,227 Quite Interesting Facts to Blow Your Socks Off John Lloyd / Boek Gebonden (harde band)
common.buy 13.95 €
Literacy and Democracy in Fifth-Century Athens Anna Missiou / Boek Gebonden (harde band)
common.buy 82.74 €

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