About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Principles Of
Microeconomics
£43.69
Focuses on important microeconomic phenomena while equipping students with a global understanding of microeconomic principles. This title provides an understanding of globalization & its impact on microeconomics. It emphasizes on the importance of concepts for career & business success. ...
Archived Product
image missing
Principles Of
Microeconomics
+ Economy 2009 Update
£84.59
Presents concepts of microeconomics intuitively through examples drawn from familiar contexts. This title encourages students to become ' Economic Naturalists', by employing basic economic principles to understand & explain what they observe in the world around them. ...
Archived Product
image missing
Principles Of
Mobile Communication
£68.85
This book's mathematically rigorous coverage of physical layer wireless communications is now in a third, fully revised & updated edition. As well as dealing with core principles, it explains the finer details essential for in-depth research on the topic. ...
Archived Product
image missing
Principles Of
Modeling Uncertainties
In Spatial Data And
Spatial Analysis
£73.80
Modeling uncertainties in geographic information science is essential to the development of the field. This book addresses the fundamental theoretical issue: uncertainties in spatial data & analysis. It provides methods to control uncertainties in GIS applications. It introduces the area of uncertainty-based spatial mining. ...
Archived Product
image missing
Principles Of Modern
Chemistry
£49.39
Suitable for honors & high-level mainstream general chemistry courses, this text focuses on important key objectives, equations & concepts, & presents various applications to a wide range of disciplines, such as biology, chemical engineering, biochemistry, & medicine that deepen students' understanding of the relevance of chemistry. ...
Archived Product
image missing
Principles Of Modern
Grinding Technology
£100.00
Offers insights into modern grinding technology based on wide research & experience. This book covers topics like abrasives & super-abrasives, wheel design, dressing technology, machine accuracy & productivity, grinding machine design, high-speed grinding technology, cost optimization, ultra-precision grinding, & vibration control. ...
Archived Product
Principles of Modern Manufacturing
Principles Of
Modern Manufacturing
£43.49
* This book Provides more equations & numerical problem exercises than other books in the field. * Groover introduces more modern topics, including new materials, processes & systems. * The new edition offers thoroughly revised end of chapter problems. ...
Archived Product

Principles Of Model Checking

Presents a comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. This book introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015

This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.

Use our search facility to see if it is available from an alternative contributor.
  • Availability: Out Of Stock
  • Supplier: Pickabook
  • SKU: 9780262026499
Availability: In Stock
£39.91
computer science / edp Mathematics, Science, Technology & Medicine > Computer Science / EDP
Description Reviews / Comments Add New

Product Description

Presents a comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware & software; with extensive examples & both practical & theoretical exercises. This book introduces the temporal logics LTL & CTL, compares them, & covers algorithms for verifying these logics.

Reviews/Comments

Add New

Intelligent Comparison

Oooops!
We couldn't find anything!
Perhaps this product's unique.... Or perhaps we are still looking for comparisons!
Click to bump this page and we'll hurry up.

Price History

Oooops!
We couldn't find any historical pricing!

Vouchers

No voucher codes found.
Do you know a voucher code for this product or supplier? Add it to Insights for others to use.

Facebook

Jargon Buster

Practical - Weather a task is easy to carry out and realistically succeed.
Model - A representation of a person or thing, usually smaller scale. It can also be a person that wears clothing.

Supplier Information

Pickabook
A UK based company founded in 1998. Offering exceptional value for money on a wide range of books including leather bound books and sticker books.

Over 5 million books in stock - all new
Discounts of upto 80 percent
Excellent customer service
Fast delivery
Page Updated: 2015-03-31 20:45:45

Community Generated Product Tags

Oh No! The productWIKI community hasn't generated any tags for this product yet!
Menu