Home / All Books / The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

Book PDf, epub: The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

Name: The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
Rating: 4.8 (11 reviews)
Author: Robert Laurence Baber

Download The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

Author: Robert Laurence Baber

ISBN: 9780471914747

Publisher: John Wiley & Sons Inc

Year: 1988

Publisher Edition (Original Quality)

User Rating: (0.0):

File Size

2.67 MB

Pages

164.0

Select file format:

PDF EPUB

Description

Introduction to the book The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program The book The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program through the Cyber Uni website.

Best Selling Books