Stock Photo: Cover May Be Different
The Foundations of Program Verification Hardcover - 1987
by Jacques Loeckx; Kurt Sieber
Details
- Title The Foundations of Program Verification
- Author Jacques Loeckx; Kurt Sieber
- Binding Hardcover
- Edition 2nd Edition
- Pages 240
- Volumes 1
- Language ENG
- Publisher Wiley, U.S.A.
- Date 1987-03
- ISBN 9780471912828 / 0471912824
- Weight 1.2 lbs (0.54 kg)
- Dimensions 9.29 x 6.23 x 0.83 in (23.60 x 15.82 x 2.11 cm)
- Library of Congress subjects Computer programs - Verification
- Library of Congress Catalog Number 86019008
- Dewey Decimal Code 005.14
More Copies for Sale
Stock Photo: Cover May Be Different
The Foundations of Program Verification
by Sieber, Kurt, Loeckx, Jacques
- Used
- Condition
- Used - Very Good
- ISBN 10 / ISBN 13
- 9780471912828 / 0471912824
- Quantity Available
- 1
- Seller
-
Mishawaka, Indiana, United States
- Item Price
-
$10.98FREE shipping to USA
Show Details
Description:
Wiley & Sons, Incorporated, John. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
$10.98
FREE shipping to USA
Stock Photo: Cover May Be Different
The Foundations of Program Verification, 2nd Edition
by Jacques Loeckx; Kurt Sieber
- Used
- good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780471912828 / 0471912824
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$14.27FREE shipping to USA
Show Details
Description:
Wiley, 1987-03-11. Hardcover. Good.
Item Price
$14.27
FREE shipping to USA
Stock Photo: Cover May Be Different
THE FOUNDATIONS OF PROGRAM VERIFICATION. Second Edition.
by Loeckx, Jacques and Kurt Sieber.
- Used
- Fine
- Hardcover
- Condition
- Used - Fine
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780471912828 / 0471912824
- Quantity Available
- 1
- Seller
-
North Reading, Massachusetts, United States
- Item Price
-
$50.00$5.00 shipping to USA
Show Details
Description:
John Wiley & Sons:, 1987. First published in 1984, this book is the Second edition from 1987, 230 pages. "This is a textbook on program verification. It concentrated 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 this book is to present these different verification methods and to explain their mathematical background. The subject is treated with mathematical precision, and many examples are included. " FINE HARDCOVER.. Hard Cover. Fine/Not Issued with a Dust Jacket.. 8vo - over 7¾" - 9¾" tall.
Item Price
$50.00
$5.00
shipping to USA
Stock Photo: Cover May Be Different
The Foundations of Program Verification
by Jacques Loeckx et Kurt Sieber
- Used
- good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780471912828 / 0471912824
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
$69.02$12.00 shipping to USA
Show Details
Description:
John Wiley & Sons, 1987. Hardcover. Good. Former library book. Signs of wear on the cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$69.02
$12.00
shipping to USA