About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

The Spiders of Allah
The Spiders Of Allah
£5.27
James Hider sees the hallucinatory effect of what he calls the 'crack cocaine of fanatical fundamentalism' all around him. He meets terrorists & their victims, soldiers & clerics, ordinary people & extraordinary people. The question in the back of his mind is: how can people not only believe in all this madness, but die & kill for it too? ...
Archived Product
image missing
The SPIN Selling
Fieldbook
£13.49
Presents winning strategies for achieving success in high-end sales. This is your guide to the method that has revolutionized big-ticket sales in the United States & globally. It
Includes:: individual diagnostic exercises; illustrative case studies from leading companies; practical planning suggestions; &, provocative questionnaires.
...
Archived Product
The Spinal Cord
The Spinal Cord
£89.96
Presents a comprehensive reference on the mammalian spinal cord & a comparative atlas of both rat & mouse spinal cords. This book provides a descriptive survey of the details of mammalian spinal cord anatomy, focusing on the rat with many illustrations in the field & atlases of the rat & the mouse spinal cord. ...
Archived Product
The Spine
The Spine
£134.10
Offers guidance that ranges from patient selection & pre-operative planning to surgical approaches & techniques. This title provides discussions of debates on minimally invasive surgery; whether metal/polyethylene, metal-metal, or ceramic-ceramic is the appropriate bearing surface; cemented vs uncemented fixation of the components; &, more. ...
Archived Product

The Spin Model Checker

SPIN is a tool for improving software reliability. This comprehensive reference guide to SPIN covers the tool's specification language and theoretical foundation, and gives detailed advice on methods for tackling the most complex software verification problems.
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: 9780321228628
Availability: In Stock
£52.37
application software Mathematics, Science, Technology & Medicine > Computer Science / EDP > Application Software
Description Reviews / Comments Add New

Product Description

SPIN is a tool for improving software reliability. This comprehensive reference guide to SPIN covers the tool's

Specification language & theoretical foundation, & gives detailed advice on methods for tackling the most complex software verification problems.

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

foundation - A flesh toned cosmetic applied to the face to create an even complexion.
Language - the method of communication used in different areas. Humans and computers have many different languages.
Specification - A description of a product with the details of its attributes.
Reference - To prove evidence with a back up source.
Model - A representation of a person or thing, usually smaller scale. It can also be a person that wears clothing.
Language - The way humans communicate either written and spoken.

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