Fortell venner om denne varen:
High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) Jonathan P. Bowen Softcover reprint of the original 1st ed. 1999 edition
Pris
NOK 509
Bestillingsvarer
Forventes levert 14. - 22. sep
Få varsel om nye utgivelser fra Jonathan P. Bowen
Legg til iMusic ønskeliste
eller
High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT)
Jonathan P. Bowen
That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.
720 pages, 7 black & white illustrations
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 12. april 1999 |
| ISBN13 | 9783540762263 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 701 |
| Mål | 236 × 158 × 40 mm · 1,10 kg |
| Språk | Engelsk |
![Cover for Jonathan P. Bowen · Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures - Lecture Notes in Computer Science (Pocketbok) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/882/9783030550882.jpg?jonathan-p-bowen-2020-engineering-trustworthy-software-systems-5th-international-school-setss-2019-chongqing-china-april-21-27-2019-tutorial-lectures-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1600419299)
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Pocketbok) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-innbunden-bok&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Bok) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-bok&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Innbunden bok) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-innbunden-bok&class=scaled&v=1606304271)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Pocketbok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-pocketbok&class=scaled&v=1735177753)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Innbunden bok) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-innbunden-bok&class=scaled&v=1408485129)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Pocketbok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-pocketbok&class=scaled&v=1688517177)
