phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Formal Methods for Hardware Verification

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Hardware Verification Marco Bernardo
Codul Libristo: 01562083
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Descrierea completă
? points 161 b
320 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Six Days of War Michael B. Oren / Carte broșată
common.buy 87 lei
curând
Cambridge Checkpoint Science Workbook 8 Mary Jones / Carte broșată
common.buy 74 lei
Leave It to Abigail! Elizabeth Baddeley / Copertă tare
common.buy 85 lei
Auscultation Skills Jessica Coviello / Carte broșată
common.buy 522 lei
Adenosine Susan Masino / Copertă tare
common.buy 1.255 lei
Collected Works of Paddy Chayefsky Paddy Chayefsky / Carte broșată
common.buy 119 lei
Case-Based Reasoning Research and Development Lorraine McGinty / Carte broșată
common.buy 320 lei
Gormenghast. Band 2 Mervyn Peake / Copertă tare
common.buy 98 lei
Hunting and Fishing in a Kammu Village Damrong Tayanin / Copertă tare
common.buy 345 lei
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Carte broșată
common.buy 213 lei
Finale in Sudafrika Stephanie Howe / Carte broșată
common.buy 160 lei
Be a Better Manager in a Week: Teach Yourself Rus Slater / Carte broșată
common.buy 141 lei
Wie der König seinen Feind verlor Jorge Bucay / Copertă tare
common.buy 66 lei
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Copertă tare
common.buy 3.123 lei
Blues in the Night Rochelle Majer Krich / Digital
common.buy 62 lei
Grundfragen der Anstiftung. Marios Nikolidakis / Carte broșată
common.buy 368 lei

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

Informații despre carte

Titlu complet Formal Methods for Hardware Verification
Autor Marco Bernardo, Alessandro Cimatti
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 244
EAN 9783540343042
ISBN 3540343040
Codul Libristo 01562083
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 800
Dimensiuni 155 x 235 x 17

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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

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