Copied The B Language and Method
The B Language and Method
B 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Leuchtstoffe, Lichtquellen, Laser, Lumineszenz
$69.99
Proceedings of the FISITA 2012 World Automotive Congress
$219.99
Mechanical Properties of Polymers Measured through AFM Force-Distance Curves
$109.99
Theory to Countermeasures Against New Radars
$179.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$44.99
Model of Human Occupation (MOHO)
$34.99
Molecular and Cellular Aspects of Reproduction
$39.99
Boron in Plant and Animal Nutrition
$129.00
Systems Engineering
$29.99
Wenden
$44.99
Advances in Sustainable Aviation
$139.99
Integrated Supply Chain Planning in Chemical Industry
$54.99
Environmental Communication for Children
$109.99
Allgemeinerkrankungen Infolge Schlechter Zhne
$54.99
Economics of Information
$169.99
Angewandte Szenenanalyse
$69.99
Die Moscheefhrung
$69.99
Verbnde mit Zukunft?
$79.99
Ecosystem Biogeochemistry
$109.99
Arbeitslosigkeit Dimensionen, Ursachen und Bewltigungsstrategien
$49.99
Political Parties in Multi-Level Polities
$54.99
Zink und Cadmium und ihre Gewinnung aus Erzen und Nebenprodukten
$49.99
A Brief History of Computing
$29.99
The McGurk Universe
$109.00
Modeling of Biological Materials
$169.99
Patent Law in Biotechnology, Chemicals & Pharmaceuticals
$84.99
Private Stiftungen und staatliche Schulen
$59.99
Practical Microsoft Visual Studio 2015
$39.99
Fungal Associations
$74.99
Cardiac Rate and Rhythm
$39.99
Xbooks-Strange: Lost City Spotted from Space!
$5.21
Post-Trial Access to Drugs in Developing Nations
$54.99
Der Vorrichtungsbau
$59.99
Parallel Scientific Computing and Optimization
$84.99
Diversity as Catalyst: Economic Growth and Urban Resilience in Global Cityscapes
$139.99
Conceptual Modeling - ER 2001
$84.99
Der depressive Patient und sein Arzt
$59.99
Teaching Fundamental Concepts of Informatics
$39.99
Electronic Banking im Vertrieb
$69.99
Quaternary Foraminifera of the Caspian-Black Sea-Mediterranean Corridors: Volume 1
$129.00
