Related Books

High-Integrity System Specification and Design
Language: en
Pages: 698
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in
High Integrity Systems and Safety Management in Hazardous Industries
Language: en
Pages: 359
Authors: J.R Thomson
Categories: Technology & Engineering
Type: BOOK - Published: 2015-01-09 - Publisher: Butterworth-Heinemann

DOWNLOAD EBOOK

This book is about the engineering management of hazardous industries, such as oil and gas production, hydrocarbon refining, nuclear power and the manufacture o
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 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
JGI '02
Language: en
Pages: 260
Authors: ACM Special Interest Group on Programming Languages
Categories: Computers
Type: BOOK - Published: 2002 - Publisher: Assocation of Computing Machinery

DOWNLOAD EBOOK