Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Systems analysis & design

Buy Now

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 (Paperback, 2006 ed.) Loot Price: R1,589

Discovery Miles 15 890

Repayment Terms: R149 pm x 12*

Add to cart

Formal Methods for Hardware Verification - 6th International School on Formal Methods for the Design of Computer,...

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 (Paperback, 2006 ed.)

Marco Bernardo, Alessandro Cimatti

Series: Lecture Notes in Computer Science, 3965

(sign in to rate)

Loot Price R1,589 Discovery Miles 15 890 | Repayment Terms: R149 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 3965
Release date:	May 2006
First published:	2006
Editors:	Marco Bernardo • Alessandro Cimatti
Dimensions:	235 x 155 x 13mm (L x W x T)
Format:	Paperback
Pages:	244
Edition:	2006 ed.
ISBN-13:	978-3-540-34304-2
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Promotions
LSN:	3-540-34304-0
Barcode:	9783540343042