Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Language EnglishEnglish
Book Paperback
Book Formal Methods for Hardware Verification Marco Bernardo
Libristo code: 01562083
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Full description
? points 145 b
21 133 Ft
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

The Autumn Stone Small Faces Audio Audio CD
common.buy 8 139 Ft
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Book Hardback
common.buy 5 618 Ft
Intelektuálové a masy John Carey / Book Paperback
common.buy 5 095 Ft
Pioneiras da ciencia en Galicia MANUEL REY PAN / Book Paperback
common.buy 9 433 Ft
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Book Paperback
common.buy 7 234 Ft
L'oracle des échos oniriques Luna Ravenheart / Book Paperback
common.buy 10 888 Ft
Chants du cauchemar et de la nuit Ligotti / Book Paperback
common.buy 4 498 Ft
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Book Paperback
common.buy 9 125 Ft
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Book Paperback
common.buy 9 607 Ft
Innover avec les acteurs du monde rural Hocdé / Book Paperback
common.buy 11 090 Ft
Alí i Ramboline VALENTI GUBIANAS / Book Hardback
common.buy 5 297 Ft
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Book Paperback
common.buy 8 937 Ft
Grundfragen der Anstiftung. Marios Nikolidakis / Book Paperback
common.buy 26 261 Ft
Wie der König seinen Feind verlor Jorge Bucay / Book Hardback
common.buy 5 068 Ft
Gormenghast. Band 2 Mervyn Peake / Book Hardback
common.buy 7 542 Ft
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Book Paperback
common.buy 6 229 Ft
Finale in Sudafrika Stephanie Howe / Book Paperback
common.buy 6 913 Ft
2984 Utta Kaiser-Plessow / Book Paperback
common.buy 4 205 Ft
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Book Paperback
common.buy 10 319 Ft
Vaillants Soldats Desplantes-F / Book Paperback
common.buy 7 335 Ft
Poeta En Nueva York Federico García Lorca / Book Paperback
common.buy 4 191 Ft
Unas tardes con Shakespeare Praz / Book Paperback
common.buy 7 964 Ft
Будапэшт Kolozsvári Ildikó / Book Sheet
common.buy 3 400 Ft
99 Sayfada Tüp Bebek Bülent Gülekli / Book Paperback
common.buy 3 144 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Hardware Verification
Author Marco Bernardo, Alessandro Cimatti
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 244
EAN 9783540343042
ISBN 3540343040
Libristo code 01562083
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 800
Dimensions 155 x 235 x 17

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Book Hardback
common.buy 196 637 Ft
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Book Hardback
common.buy 19 766 Ft
Case-Based Reasoning Research and Development Lorraine McGinty / Book Paperback
common.buy 19 766 Ft
Conquest Andrea Smith / Book Paperback
common.buy 9 580 Ft
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Book Hardback
common.buy 12 738 Ft
complete work of Rembrandt Wilhelm Von Bode / Book Paperback
common.buy 11 003 Ft
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Book Paperback
common.buy 3 929 Ft
Pippa and Pop Level 1 Activity Book British English Colin Sage / Book Paperback
common.buy 3 273 Ft
Montreal at War, 1914-1918 Terry Copp / Book Paperback
common.buy 11 586 Ft
Echoes and Ashes Terrell Washington Anansi / Book Paperback
common.buy 3 259 Ft
How To Love Yourself 100% Htebooks / Book Paperback
common.buy 3 259 Ft
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Book Paperback
common.buy 3 741 Ft
Graffiti and Street Art Konstantinos Avramidis / Book Paperback
common.buy 26 403 Ft
If I Was Your Hamster Angelia Smith / Book Paperback
common.buy 3 856 Ft
Little Owl's Snow Divya Srinivasan / Book Hardback
common.buy 5 820 Ft
In the Ravine & Other Stories Anton Chekhov / Book Hardback
common.buy 3 874 Ft
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Book Paperback
common.buy 16 695 Ft
Where's Grandma's Keys Nadine Burr / Book Hardback
common.buy 10 319 Ft
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Book Paperback
common.buy 9 011 Ft
Leave It to Abigail! Elizabeth Baddeley / Book Hardback
common.buy 6 771 Ft
Real Deal Faisal Susiwala / Book Paperback
common.buy 5 880 Ft
Man of Honour Tyrone Heydenrych / Book Paperback
common.buy 7 335 Ft
Auscultation Skills Jessica Coviello / Book Paperback
common.buy 35 239 Ft
Be a Better Manager in a Week: Teach Yourself Rus Slater / Book Paperback
common.buy 6 711 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?