Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Roadmap for Formal Property Verification

Limba englezăengleză
Carte Carte broșată
Carte Roadmap for Formal Property Verification Pallab Dasgupta
Codul Libristo: 01975380
Editura Springer, octombrie 2010
Integrating formal property verification (FPV) into an existing design process raises several intere... Descrierea completă
? points 249 b
539.20 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La Responsabilité Médicale: La Réparation Hatim Souktani / Carte Carte broșată
common.buy 298.17 lei
Operaciones de caja en la venta. Refuerzo IPA0040 CRUZADO REVILLA / Carte Carte broșată
common.buy 71.16 lei
Rama Gentry / Carte Carte broșată
common.buy 155.31 lei
Theoretische Ansatze der Marketingwissenschaft Dirk Lippold / Carte Carte broșată
common.buy 75.31 lei
Jetzt wird gesnackt! Ute-Marion Wilkesmann / Carte Carte broșată
common.buy 79.78 lei
Frankfurter Sagenbuch Karl Enslin / Carte Carte broșată
common.buy 186.69 lei
Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky / Carte Carte broșată
common.buy 151.05 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Roadmap for Formal Property Verification
Autor Pallab Dasgupta
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 252
EAN 9789048171859
ISBN 9048171857
Codul Libristo 01975380
Editura Springer
Greutatea 434
Dimensiuni 160 x 240 x 15

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Raising Drug Addicts Robert Mitchell / Carte Copertă tare
common.buy 165.49 lei
Gymnasium CF (Christopher) Forgues / Carte Carte broșată
common.buy 166.32 lei
Popcorn Ideas for Women Groups Hampton Shirley Hampton / Carte Carte broșată
common.buy 85.50 lei
The Life And Works Of Goethe: With Sketches Of His Age And Contemporaries V1 G. H. Lewes / Carte Carte broșată
common.buy 210.06 lei
Economic History of a Divided Europe Ivan T. Berend / Carte Copertă tare
common.buy 1 317.58 lei
Nitra City guide / Carte Carte broșată
common.buy 32.93 lei
Polyvinylpyrrolidone Excipients for Pharmaceuticals Volker Bühler / Carte Carte broșată
common.buy 580.03 lei
First Generation Singular: Reactions to Living in Post-Holocaust Germany: in Poetry and Prose Shirlee Sky Hoffman / Carte Carte broșată
common.buy 37.18 lei
Kiss The Little You Goodbye Sophia Burrell / Carte Carte broșată
common.buy 60.56 lei
Forgery Ave Barrera / Carte Carte broșată
common.buy 71.37 lei
Market Operations in Electric Power Systems - Forecasting, Scheduling and Risk Management Mohammad Shahidehpour / Carte Copertă tare
common.buy 1 092.54 lei
Universe in Your Hand Christophe Galfard / Carte Carte broșată
common.buy 66.17 lei
1,227 Quite Interesting Facts to Blow Your Socks Off John Lloyd / Carte Copertă tare
common.buy 72.92 lei
Literacy and Democracy in Fifth-Century Athens Anna Missiou / Carte Copertă tare
common.buy 453.49 lei
GOBEKLI TEPE & KARAHAN TEPE WORLDS FIRST NEWMAN HUGH / Carte Carte broșată
common.buy 42.59 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?