Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures de Marco Bernardo

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures: Lecture Notes in Computer Science, cartea 3965

Editat de Marco Bernardo, Alessandro Cimatti

en Limba Engleză Paperback – 15 mai 2006

Din seria Lecture Notes in Computer Science

Preț: 317^.85 lei

Preț vechi: 397^.31 lei
-20%

Puncte Express: 477

:
56^.19€ • 66^.66$ • 48^.65£

Carte tipărită la comandă

Livrare economică 18 martie-01 aprilie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783540343042
ISBN-10: 3540343040
Pagini: 256
Ilustrații: VIII, 244 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.36 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Hardware Design and Simulation for Verification.- Automatic Test Pattern Generation.- An Introduction to Symbolic Trajectory Evaluation.- BDD-Based Hardware Verification.- SAT-Based Verification Methods and Applications in Hardware Verification.- Building Efficient Decision Procedures on Top of SAT Solvers.- Refinement and Theorem Proving.- Floating-Point Verification Using Theorem Proving.