Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
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,470
Discovery Miles 14 700
Repayment Terms: R138 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,470 Discovery Miles 14 700 | Repayment Terms: R138 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A Changing World (Hardcover, 7th Edition): John Satzinger, Robert Jackson, Stephen D. Burd
Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
 R1,284 R1,198 Discovery Miles 11 980
Systems Analysis And Design (Hardcover, 12th Edition): Scott Tilley
Systems Analysis And Design
Scott Tilley Hardcover R1,302 R1,213 Discovery Miles 12 130
Distributed Systems - Concurrency and Consistency (Hardcover): Matthieu Perrin
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,821 Discovery Miles 18 210
Real-Time Systems Development (Paperback): Rob Williams
Real-Time Systems Development
Rob Williams Paperback R1,319 Discovery Miles 13 190
Axiomatic Design - Advances and Applications (Hardcover): Nam P Suh
Axiomatic Design - Advances and…
Nam P Suh Hardcover R5,972 Discovery Miles 59 720
Loose Leaf for Fundamentals of Electric Circuits (Loose-leaf, 7th ed.): Charles Alexander, Matthew Sadiku
Loose Leaf for Fundamentals of Electric…
Charles Alexander, Matthew Sadiku Loose-leaf R5,176 Discovery Miles 51 760
Design Thinking for Tech - Solving Problems and Realizing Value in 24 Hours (Paperback): George Anderson
Design Thinking for Tech - Solving…
George Anderson Paperback R861 Discovery Miles 8 610
Handbook of Research on 5G Networks and Advancements in Computing, Electronics, and Electrical Engineering (Hardcover):...
Handbook of Research on 5G Networks and…
Augustine O Nwajana, Isibor Kennedy Ihianle Hardcover R7,962 Discovery Miles 79 620
Cases on Lean Thinking Applications in Unconventional Systems (Hardcover): Eduardo Guilherme Satolo, Robisom Damasceno Calado
Cases on Lean Thinking Applications in…
Eduardo Guilherme Satolo, Robisom Damasceno Calado Hardcover R6,344 Discovery Miles 63 440
Implementing Data Analytics and Architectures for Next Generation Wireless Communications (Hardcover): Chintan Bhatt, Neeraj...
Implementing Data Analytics and…
Chintan Bhatt, Neeraj Kumar, … Hardcover R5,931 Discovery Miles 59 310
Towards Emerging Data Center Architecture in Internet of Things Era (Hardcover): Yang Hu
Towards Emerging Data Center…
Yang Hu Hardcover R2,063 Discovery Miles 20 630
Designing for Human-Machine Symbiosis using the URANOS Model - Emerging Research and Opportunities (Hardcover): Benjamin Hadorn
Designing for Human-Machine Symbiosis…
Benjamin Hadorn Hardcover R3,168 Discovery Miles 31 680

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners