{"product_id":"9783540760337","title":"Formal Approaches to Computing and Information Technology (FACIT): A Guide to Practical Formal Development","description":"\u003ch1\u003eFormal Approaches to Computing and Information Technology (FACIT): A Guide to Practical Formal Development\u003c\/h1\u003e \u003ch2\u003eLano, Kevin\u003c\/h2\u003e \u003cp\u003eB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1996-05-14\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540760337\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4471-1494-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 232\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":44358553272460,"sku":"9783540760337","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540760337.jpg?v=1776456750","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540760337","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}