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

The Correctness-By-Construction Approach to Programming (Paperback) (ISBN-13: 9783642448546)

Vendor: Derrick G. Kourie
Product type: Books
Format: Paperback
$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: Paperback
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: 3642448542
ISBN-13: 9783642448546
Publisher: Springer
Language: English
Published: 05/09/2014
Pages: 266
Format: Paperback
Weight: 0.87lbs
Size: 9.21h x 6.14w x 0.59d
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