Principles of Computer Programming: A Mathematical Approach
A

Principles of Computer Programming: A Mathematical Approach

General
computer programming mathematical approach formal methods program verification Hoare logic structured programming software engineering
Author
Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet
Publisher
University of Tennessee, Knoxville
Year
1988
Language
English
49
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Basics of Programming and Algorithms, Principles and Applications

Basics of Programming and Algorithms, Principles and Applications

Roberto Mantaci, Jean-Baptiste Yunès

How to Design Programs: An Introduction to Programming and Computing, Second Edition

How to Design Programs: An Introduction to Programming and Computing, Second Edition

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Discovering Computer Science: Interdisciplinary Problems, Principles, and Python Programming

Discovering Computer Science: Interdisciplinary Problems, Principles, and Python Programming

Jessen Havill

Principles of Soft Computing Using Python Programming: Learn How to Deploy Soft Computing Models in Real World Applications

Principles of Soft Computing Using Python Programming: Learn How to Deploy Soft Computing Models in Real World Applications

Gypsy Nandi

What Can Be Computed? A Practical Guide to the Theory of Computation

What Can Be Computed? A Practical Guide to the Theory of Computation

John MacCormick

Mathematics for Computer Graphics

Mathematics for Computer Graphics

John Vince

Programming for Absolute Beginners: Using the JavaScript Programming Language

Programming for Absolute Beginners: Using the JavaScript Programming Language

Jonathan Bartlett

Programming for Problem-solving with C: Formulating algorithms for complex problems

Programming for Problem-solving with C: Formulating algorithms for complex problems

Dr. Kamaldeep

Pointers in C Programming: A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays

Pointers in C Programming: A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays

Thomas Mailund

C Programming: A Modern Approach, 2nd Edition

C Programming: A Modern Approach, 2nd Edition

K. N. King