The Correctness-By-Construction Approach to Programming by Kourie, Derrick G.

The Correctness-By-Construction Approach to Programming (Hardcover) (ISBN-13: 9783642279188)

Vendor: Derrick G. Kourie
Product type: Books
Format: Hardcover
$109.99
$109.99
$109.99
Subtotal: $109.99
The Correctness-By-Construction Approach to Programming by Kourie, Derrick G.

The Correctness-By-Construction Approach to Programming

$109.99
The Correctness-By-Construction Approach to Programming by Kourie, Derrick G.

The Correctness-By-Construction Approach to Programming

$109.99
Format: Hardcover
Description
Description
x
Introduction.- Background.- Simple Examples.- Intermediary Examples.- Procedures and Recursion.- Case Study: Lattice Cover Graph Construction.- Case Study 2: Classifying MADFA Construction Algorithms.

Author: Derrick G. Kourie, Bruce W. Watson
ISBN-10: 364227918X
ISBN-13: 9783642279188
Publisher: Springer
Language: English
Published: 04/12/2012
Pages: 266
Format: Hardcover
Weight: 1.25lbs
Size: 9.21h x 6.14w x 0.69d
By Derrick G. Kourie
By Derrick G. Kourie
x

Derrick G. Kourie is a full professor in the Department of Computer Science at the University of Pretoria in South Africa. He has published extensively on software engineering, algorithm construction and analysis, and formal methods and specification languages. His goal is to combine theory and practice in a way that impacts the efficiency and effectiveness of the software process.

Bruce W. Watson is a full professor in the Department of Information Science at Stellenbosch University, and professor extraordinary at the University of Pretoria and director of the FASTAR (Finite Automata Systems - Theoretical and Applied Research) group, spanning the Netherlands, South Africa, the USA, and Finland. His research and development activities cover programming languages, automata and their applications, algorithms, parallelism, and reconfigurable computing.

Recently Viewed Products