Verifiable Programming
Published on 1. February 1992
Book
Paperback/Softback
280 pages
978-0-13-951062-5 (ISBN)
Description
This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of "abstract" formal concept definition for reasoning about programs.
More details
Series
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Illustrations
index
Dimensions
Height: 236 mm
Width: 176 mm
Weight
428 gr
ISBN-13
978-0-13-951062-5 (9780139510625)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
First order predicate logic; programs and states; Hoare logic; data types; classes and objects.