{"product_id":"verification-results-for-it-standards-firewire-iso-11073-ansi-hl7-paperback","title":"Verification results for IT standards: FireWire, ISO 11073, ANSI\/HL7 - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eNicolae Goga\u003c\/b\u003e (Author), \u003cb\u003eKlaus Veil\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eThis monograph on the verification of standards and specifications applied in information technology covers a lesser-researched but vital aspect of standards and specification development methodologies. The book has undertaken a thorough review and study of the appli-cation of formal testing methodologies to the verification of standards and specifications and describes in detail how these approaches can improved the quality of computer networking and electronic healthcare. Using the ubiquitous \"FireWire\" computer device networking standard, the ISO\/IEEE 1073 standard for connecting electronic medical devices and the popular \"Health Level 7\" healthcare data exchange standard as examples, the book demonstrates that rigorous formal verification of the standards and specifications can uncover previously unknown flaws and shortcomings, so enabling improvements in computer networking and medical care. This book fills a gap in the research and application of standards and specifications methods and is recommended to anyone undertaking development work in this area.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 200\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.42 x 9 x 6 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e November 27, 2008\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":44433660248199,"sku":"9783639091021","price":105.75,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0601\/2623\/2711\/files\/thRvjb1qvH9783639091021_fe6de39b-1941-4fe2-88ce-b43030906eda.webp?v=1776137607","url":"https:\/\/booksby.splitshops.com\/products\/verification-results-for-it-standards-firewire-iso-11073-ansi-hl7-paperback","provider":"Books by splitShops","version":"1.0","type":"link"}