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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Creativity and Rationale
$84.99
Politische Bildung
$59.99
Ethnic Politics, Regime Support and Conflict in Central and Eastern Europe
$39.99
Towards a Territorial Multi-Disaster Buildings Resistance Certification
$54.99
Changing Conceptions of Crowd Mind and Behavior
$39.99
Diagnosis and Management of Mitochondrial Disorders
$119.00
Treatment Resistance in Psychiatry
$139.00
Einig werden
$9.99
Production and Uses of Genetically Transformed Plants
$219.99
Das Forschungsprojekt
$49.99
Innovation of Digital Economy
$109.99
Social Skills
$39.99
Errors in Chest Radiography
$54.99
Scientific Materialism in Nineteenth Century Germany
$169.99
Enterprise Information Systems
$159.99
The Politics of Tourism Development
$54.99
Understanding Statistics and Experimental Design
$59.99
Hypospadiology
$79.99
Corporate Brand Management international ttiger Unternehmen
$69.99
Teaching, Research, Innovation and Public Engagement
$159.99
Methoden fr Management und Projekte
$54.99
Tests of the Standard Theory of Electroweak Interactions
$39.99
Die Donau als Europische Kraftwasserstrasse
$59.99
100 Task Cards: Making Inferences
$9.74
International Handbook of Juvenile Justice
$299.99
Reformism and Revisionism in Africa's Political Economy in the 1990s
$169.99
Marketing Review St. Gallen - Jahrgang 2011
$99.99
Management by Measurement
$84.99
Surface Engineering of Graphene
$169.99
Ruthenium-Containing Polymers
$199.99
Phenomenology and Existentialism in the Twenthieth Century
$219.99
Going to War
$54.99
Shakespeare and the Solitary Man
$39.99
Operative Gynecologic Endoscopy
$39.99
Handbook of Spinal Cord Monitoring
$169.00
Revising the Integration-Citizenship Nexus in Europe
$49.99
Web Engineering: Modelling and Implementing Web Applications
$169.99
Soft Computing and Signal Processing
$189.00
Acid in the Environment
$109.99
Cell Movement and Cell Behaviour
$109.99
