Stock image for illustration purposes only - book cover, edition or condition may vary.
High-integrity System Specification and Design
Bowen, Jonathan. P.; Hinchey, Michael G.
€ 67.93
FREE Delivery in Ireland
Description for High-integrity System Specification and Design
Paperback. This guide to system specification and design methods helps software engineers understand and develop high-integrity systems, with emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 701 pages, 7 black & white illustrations. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational. Dimension: 158 x 236 x 40. Weight in Grams: 1064.
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 Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4° 18'3", read cos. 14° 18' 3". - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such tables were ... Read more
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 Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4° 18'3", read cos. 14° 18' 3". - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such tables were ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
701
Condition
New
Series
Formal Approaches to Computing & Information Technology (FACIT)
Number of Pages
701
Place of Publication
Berlin, Germany
ISBN
9783540762263
SKU
V9783540762263
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for High-integrity System Specification and Design