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

Your cart is empty

Books > Professional & Technical > Technology: general issues > Engineering: general

Buy Now

A Roadmap for Formal Property Verification (Hardcover, 2006 ed.) Loot Price: R3,024
Discovery Miles 30 240
Repayment Terms: R283 pm x 12*
Add to cart
A Roadmap for Formal Property Verification (Hardcover, 2006 ed.): Pallab Dasgupta

A Roadmap for Formal Property Verification (Hardcover, 2006 ed.)

Pallab Dasgupta

 (sign in to rate)
Loot Price R3,024 Discovery Miles 30 240 | Repayment Terms: R283 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples - you do not need any background on formal methods to read most parts of this book.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: July 2006
First published: 2006
Authors: Pallab Dasgupta
Dimensions: 235 x 155 x 15mm (L x W x T)
Format: Hardcover
Pages: 252
Edition: 2006 ed.
ISBN-13: 978-1-4020-4757-2
Categories: Books > Professional & Technical > Technology: general issues > Engineering: general
Promotions
LSN: 1-4020-4757-6
Barcode: 9781402047572

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..

Betting On A Darkie - Lifting The Corporate Game (Paperback): Mteto Nyati
Betting On A Darkie - Lifting The…
Mteto Nyati Paperback  (2)
 R375 R352 Discovery Miles 3 520
Project Management For Engineering Business And Technology (Paperback, 6th Edition): John M. Nicholas, Herman Steyn
Project Management For Engineering…
John M. Nicholas, Herman Steyn Paperback R581 Discovery Miles 5 810
Comprehensive Structural Integrity (Hardcover, 2nd edition): Ferri M.H. Aliabadi, Winston (Wole) Soboyejo
Comprehensive Structural Integrity
Ferri M.H. Aliabadi, Winston (Wole) Soboyejo Hardcover R106,138 Discovery Miles 1 061 380
Integrated Computational Life Cycle Engineering for Traction Batteries (Hardcover): Cerdas Felipe Cerdas
Integrated Computational Life Cycle…
Cerdas Felipe Cerdas Hardcover R3,891 Discovery Miles 38 910
Microbiorobotics - Biologically Inspired Microscale Robotic Systems (Hardcover, 2nd edition): Minjun Kim, Agung Julius, U Kei...
Microbiorobotics - Biologically Inspired…
Minjun Kim, Agung Julius, … Hardcover R3,415 Discovery Miles 34 150
Sustainability in Engineering Design (Paperback): Anthony Johnson, Andy Gibson
Sustainability in Engineering Design
Anthony Johnson, Andy Gibson Paperback R1,367 Discovery Miles 13 670
Academic Press Library in Signal Processing, Volume 4 - Image, Video Processing and Analysis, Hardware, Audio, Acoustic and...
Academic Press Library in Signal…
Sergios Theodoridis, Rama Chellappa Hardcover R4,319 Discovery Miles 43 190
Enhancing Learning and Teaching Through Student Feedback in Engineering (Paperback, New): Chenicheri Sid Nair, Arun Patil,...
Enhancing Learning and Teaching Through…
Chenicheri Sid Nair, Arun Patil, … Paperback R1,399 Discovery Miles 13 990
Solid-Liquid Filtration - A User's Guide to Minimizing Cost and Environmental Impact, Maximizing Quality and Productivity...
Solid-Liquid Filtration - A User's Guide…
Trevor Sparks Hardcover R1,919 Discovery Miles 19 190
Design Engineering Manual (Hardcover): Mike Tooley
Design Engineering Manual
Mike Tooley Hardcover R2,850 Discovery Miles 28 500
Mathematics for Engineers and Technologists (Paperback): Huw Fox, William Bolton
Mathematics for Engineers and…
Huw Fox, William Bolton Paperback R1,370 Discovery Miles 13 700
Control Systems (Paperback): William Bolton
Control Systems
William Bolton Paperback R1,052 Discovery Miles 10 520

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