Safer C

Author	: Les Hatton
Publisher	: McGraw-Hill Companies
Total Pages	: 264
Release	: 1995
ISBN-10	: UOM:39015033329908
ISBN-13	:
Rating	: 4/5 (08 Downloads)

DOWNLOAD EBOOK

Book Synopsis Safer C by : Les Hatton

Download or read book Safer C written by Les Hatton and published by McGraw-Hill Companies. This book was released on 1995 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliable and effective software.

Safer C Related Books

Language: en
Pages: 333

High Integrity Software

Authors: Victor L. Winter

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The second half of the twentieth century has witnessed remarkable advances in technology. The unquestioned leader in this race has been computer technology. Eve

Language: en
Pages: 383

Building High Integrity Applications with SPARK

Authors: John W. McCormick

Categories: Computers

Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solut

Language: en
Pages: 264

Safer C

Authors: Les Hatton

Categories: Computers

Type: BOOK - Published: 1995 - Publisher: McGraw-Hill Companies

DOWNLOAD EBOOK

This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliabl

Language: en
Pages: 392

High Integrity Ada

Authors: John Gilbert Presslie Barnes

Categories: Computers

Type: BOOK - Published: 1997 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada

Language: en
Pages: 369

High-Integrity Software

Authors: C.T. Sennett

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4.