Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The B Language and Method

The B Language and Method

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540760337
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Probability on Compact Lie Groups

$64.99

Agentenbasierte Produktionssteuerung komplexer Produktionssysteme

$89.99

Statistik angewandt mit Excel

$34.99

Spatial Reasoning and Planning

$109.99

Wildes WWW

$39.99

Africa Case Studies in Operations Research

$179.99

Isozymes in Plant Biology

$129.00

Total, Subtotal and Proximal Gastrectomy in Cancer

$59.99

Kant as Philosophical Anthropologist

$54.99

Growth Hormone And The Heart

$169.99

High Performance Scientific and Engineering Computing

$169.99

The Digital Transformation of the Automotive Industry

$109.00

The Scale of Interest Organization in Democratic Politics

$39.99

IT Solutions for Sustainable Living

$49.99

Aseismischer Anlagenbau

$54.99

Excel 2010 for Health Services Management Statistics

$49.99

Nachtragsmanagement in der Baupraxis

$64.99

Art of Coloring: The National Parks Book National Geographic Official shopDisney

$16.99

Democracy East And West

$19.99

Troubleshooting Microsoft Teams

$64.99

Management Education

$109.99

Kundenbindung durch Bonusprogramme

$49.99

Reverse Osmosis Seawater Desalination Volume 1

$249.99

Protocols for the Diagnosis of Pig Viral Diseases

$249.99

Ezra Pound as Critic

$109.99

A Pentecostal Political Theology for American Renewal

$84.99

No Valentines for Katie

$5.96

Ship Motion Control

$189.00

Catheter Ablation of Cardiac Arrhythmias

$169.99

Advanced IT Tools

$169.00

Effective Technology Integration for Disabled Children

$39.99

Corynebacterium diphtheriae and Related Toxigenic Species

$169.99

Valuation of Renewable Energy Investments

$119.99

Parteien-Handbuch

$59.99

Vergleichende Mond- und Erdkunde

$59.99

Information Retrieval Evaluation in a Changing World

$179.99

Einflu der Eisenbegleiter auf Kohlenstofflslichkeit, Kohlenstoffaktivitt und Sttigungsgrad im Gu

$54.99

Formability of Metallic Materials

$219.99

Quantitative Models for Performance Evaluation and Benchmarking

$99.00

Grundlagen der Volkswirtschaftslehre aus globaler Sicht klipp & klar

$19.99