Safer C

Safer C
Author :
Publisher : McGraw-Hill Companies
Total Pages : 264
Release :
ISBN-10 : UOM:39015033329908
ISBN-13 :
Rating : 4/5 ( Downloads)

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

Safer C
Language: en
Pages: 264
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
Building High Integrity Applications with SPARK
Language: en
Pages: 383
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
High Integrity Software
Language: en
Pages: 333
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
High-Integrity Software
Language: en
Pages: 369
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.
High Integrity Ada
Language: en
Pages: 392
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