The B Language and Method

Name: The B Language and Method
Brand: Springer Nature
SKU: 9783540760337
Availability: InStock

Best Price (Coupon Required):
Buy The B Language and Method for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99

BEST PRICE

Single Product Purchase

$36.00

@ Link.springer.com with extra coupon

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		$39.99	$39.99		10% OFF This deals requires coupon	$36.00		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

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

N/A

Available Sizes

N/A

Reviews

0 reviews

5 stars

4 stars

3 stars

2 stars

1 star

Questions & Answers

Similar Products

Verdauungsapparat

$49.99

Das Kind von Europa

$59.99

Experimental Robotics VII

$39.99

Modelling Proteasome Dynamics in a Bayesian Framework

$54.99

Lehrbuch der Pharmakologie

$54.99

Hans Kelsen und die offene Gesellschaft

$49.99

Lactic Acid Bacteria in Foodborne Hazards Reduction

$169.99

Apoptosis Methods in Pharmacology and Toxicology

$84.99

Regional Problem

$74.99

AdvancED DOM Scripting

$39.99

The Career of a Research Statistician

$54.99

Reappraising Modern Indian Thought

$84.99

Angebot und Nachfrage

$59.99

Advances in Monetary Policy and Macroeconomics

$84.99

Spring According to Humphrey

$5.96

Understanding Social Engineering Based Scams

$109.99

Von der Bonner zur Berliner Republik

$34.99

Nuclear Export of Viral RNAs

$84.99

Computational Morphologies

$109.99

Protecting Children in Time

$109.99

Wheat Production in Stressed Environments

$329.99

Green Manure/Cover Crop Systems of Smallholder Farmers

$129.00

Special Educational Needs and Inclusive Practices

$39.99

Innovationserfolg im Dienstleistungssektor

$69.99

X-Ray Fluorescence Spectrometry (XRF) in Geoarchaeology

$39.99

Werbung, Mode und Design

$59.99

Intelligent Information Systems

$54.99

El ratn de ciudad y el ratn de campo

$2.96

Enforcement and Effectiveness of Consumer Law

$379.99

Listening to Sicarios

$44.99

Analog Circuit Design

$129.00

Thermal Expansion 7

$39.99

Das Restless-Legs-Syndrom

$17.99

Surface Modification and Alloying

$39.99

Plant Fibers

$84.99

The Unofficial Hogwarts Cocktail Book: Spellbinding Spritzes, Fantastical Old Fashioneds, Magical Margaritas, and More Enchanting Recipes by Bertha Ba

$19.95