CQout Online Auctions CQout Online Auctions Home register to sell and buy at CQout! read our Frequently Asked Questions buy at CQout!sell at CQout! services for CQout registered users search for items or usernames at CQout
Click to enlarge image
Click to enlarge image
Keyword Filter
Advanced Search
Seller ID Filter
Category Filter
Books, Comics, Magazines
Antiquarian, Rare & First Editions
Antiques & Collectables
Art, Architecture & Photography
Audio Books
Calendars, Diaries, Annuals
Children,Young Adults Books
Comics & Graphic Novels
Computing & Internet
Cookery & Food
Crime, Thrillers & Mystery
Educational & Text Books
Fiction - General
Gay & Lesbian
Health, Family & Lifestyle
Hobbies, Crafts & Games
Home Improvements
Horror & Fantasy
Horticulture & Gardening
Information Products, e-books
Management & Business
Manuals & Handbooks
Military, Police & Services
Mind, Body & Spirit
Music, Stage & Screen
Nature, Wildlife & Animals
Poetry, Drama & Criticism
Pass times & Leisure
Printed Ephemera
Religion & Spirituality
Science, Technical & Medical
Science Fiction
Social Sciences
Stage & Screen
Topography/ Local Interest
Travel & Holidays
Transport & Motoring
True Crimes
Other Books, Comics, Magazines
Item Title:

The Foundations of Programme Verification


Books, Comics, Magazines


Computing & Internet

Item Condition: New
Current Time:23 Jun 17 00:25:56
Time & Date displayed is forUnited States - EDT
Auction Closes:Learn more about Instant Buy

Quantity: (1 Available)
Price : £133.13 ($169.01)

Postage: £8.99 ($11.41)
  Change Default Country For Your View Settings
Select Your Country:

Change default country to United KingdomUK
Change default country to IrelandIreland
Change default country to CanadaCanada
Change default country to AustraliaAustralia
Change default country to United StatesUSA

What do you want from an online auction site?

CQ has been doing all of that since 1999. We haven't made a big noise about it, we've just quietly collected Buyers and Sellers in over 80 countries by word of mouth, doing things the best way we know how and responding to our users needs.

Want to join the CQ community? Just click on your home country to start.
To: United States (change country) | see all details |
Payments: You can pay with your Debit or Credit card using, EasyPay, our in-house payment service You can pay with your Debit or Credit card using SecurePay, our in-house escrow service card logos
Sell to:International
Item Specifics - Books ISBN : 0471912824
Author :
133.13 2632088 Title: The Foundations of Programme Verification Recommended Retail Price : 275.00 Our Price : 148.64 You Save : 126.36 (46% discount) ISBN : 0471912824 Author : J. Loeckx K. Sieber R.D. Stansifier Pu
Lot # 2632088
This item has been viewed 273 times
Seller Info
Discounted Books (8|0)
Learn more about trusted vendors
  Learn more about trade sellers
Item Location: Leicester
Seller Location: United Kingdom

Ask A Question
Seller's other items
Item Description
Email this listing to a friendtop
Title: The Foundations of Programme Verification

ISBN : 0471912824
Author : J. Loeckx K. Sieber R.D. Stansifier
Publisher : John Wiley and Sons Ltd
Media : Hardcover
SKU MIX27-U31-G2-JWS-36458


Brand New Book, Good Condition, Dispatched from our warehouse in the UK

Book Description&newline;&newline;The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitõt des Saariandes, Saarbr³cken, Germany In collaboration with Ryan D. Stansifer Department of Computer Science Cornell University, USA This revised edition provides a precise mathematical background to several program verification techniques. It concentrates on those verification methods that have now become classic, such as the inductive assertions method of Floyd, the axiomatic method of Hoare, and Scott?s fixpoint induction. The aim of the book is to present these different verification methods in a simple setting and to explain their mathematical background in particular the problems of correctness and completeness of the different methods are discussed in some detail and many helpful examples are included. Contents Authors' Preface&newline;Part A: Preliminaries
    &newline;Mathematical Preliminaries&newline;Predicate Logic
Part B: Semantics of Programming Languages
    &newline;Three Simple Programming Languages&newline;Fixpoints in Complete Partial Orders&newline;Denotational Semantics
Part C: Program Verification Methods
    &newline;Correctness of Programs&newline;The Classical Methods of Floyd&newline;The Axiomatic Method of Hoare&newline;Verification Methods Based on Denotational Semantics&newline;LCF A Logic for Computable Functions
Part D: Prospects
    &newline;An Overview of Further Developments
&newline;&newline;Bibliography Index Review of the First Edition ?... one of the better books currently available which introduces program verification.' G. Bunting, University College Cardiff University Computing

Shipping Worldwide

uk  eu  ireland usa  canada

gold star

Over 15,000 Books

Largest Book Shop

  • Combine your orders and make a big saving on the postage and packing
terms and conditions
  • Please note due to our discounted prices and high demand, books do go out of stock, if this is the case we will notify you and refund you in full.
  • The term P & P means Postage Packaging Material and Handling cost. We try to provide our customers with good service consisting of quality packaging and fast dispatch (please see our feedback).
  • We have standard P & P charges for our book range as follows (this only applies to mainland UK only), if you are in N.Ireland, the Highlands or off shore please email us for a combined postage rate.

Learn more about trusted vendorsLearn more about trade sellers
View this Seller's Returns Policy

Postage & PackingUnited KingdomInternational
ExpressNot Specified - AskNot Specified - Ask

Payment Options:
Integrated OnlineYou can pay with your Debit or Credit card using EasyPay, our in-house payment serviceYou can pay with your Debit or Credit card using SecurePay, our in-house escrow service

Ask the seller a question top

Use this form to send an email to the seller to ask questions you may have about this item only.
Always Ask Before you bid. You can not retract a bid once an auction is closed.

See More Great Items From This Seller top
Click here for details
Yahoo! SiteBuilder for Dummies (For Dummies)#1

Closes: Instant Buy
Current Bid: £23.95 ($30.40) (no reserve)
Click here for details
Encyclopedia of Security- M. Tulloch#3

Closes: Instant Buy
Current Bid: £19.94 ($25.31) (no reserve)
Click here for details
Teach Yourself Visually Digital Photography (Teach Yoursel#1

Closes: Instant Buy
Current Bid: £16.82 ($21.35) (no reserve)
Click here for details
EBay The Missing Manual- Nancy Conner#1

Closes: Instant Buy
Current Bid: £14.22 ($18.05) (no reserve)
Click here for details
Hacking for Dummies- K Beaver#2

Closes: Instant Buy
Current Bid: £28.74 ($36.49) (no reserve)
Click here for details
The Programmer's Introduction to Visual Basic .NET (Kaleid

Closes: Instant Buy
Current Bid: £3.60 ($4.57) (no reserve)

© CQout Ltd., 1999-2017 home | help | services | search | listings | register | affiliates | RightsWatch | about us | press | Blog | contact us
All Rights Reserved. Use of this website constitutes acceptance of our terms & conditions and site rules.