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

B 2007: Formal Specification and Development in B

B 2007: Formal Specification and Development in B

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

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, held at the University of Montpellier, France; ZB 2000, held at the University of York, UK; ZB 2002, held at the University of Grenoble, France; ZB 2003, held at the U- versity of Turku, Finland; ZB 2005 held at the University of Surrey, Guildford, UK. B 2007 was held in January at the University of Franche-Comt e,Besan con, France, hosted by the Computer Science Department (LIFC). LIFC has always placed particular emphasis on the applicability of its research and its relati- ship with industrial partners. In this context, it created in 2003 a company called LEIRIOS Technologies, which produces an automatic test generator tool (LTG) frommodels described in the B speci?cationlanguage. Other members of LIFC work on extensions of the B method for specifying and verifying dynamic properties. All the submitted papers in these proceedings were peer reviewed by at least three reviewers drawn from the B committee, depending on the subject matter of the paper. The authorsof the papersforB 2007werefrom Australia,Canada, Finland, Germany, France, Switzerland, and the UK. The conference featured a rangeof contributions by distinguished invited speakers drawn from both ind- try and academia.

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

The Ethnography of Reading at Thirty

$159.99

Measuring the Business Value of Cloud Computing

$59.99

Institutioneller Wandel von Brsen

$69.99

T Lymphocytes as Tools in Diagnostics and Immunotoxicology

$109.99

Partial Differential and Integral Equations

$169.99

Contributions in Analytic and Algebraic Number Theory

$169.99

Das Vegetative System der Epileptiker

$59.99

Laser Interaction and Related Plasma Phenomena

$39.99

Erfindung der Romantik

$54.99

Handbook of Treatments for Autism Spectrum Disorder

$299.00

The New World of Economics

$79.99

The Risks of Knowing

$169.99

Raising the Corporate Umbrella

$54.99

Das Wissen fr Bankkaufleute

$59.99

Optische Messungen am Quecksilber-Atom

$49.99

Methoden zur Theorie der ternren Formen

$69.95

High-Risk-Projekte

$54.99

Handbuch Spannungs Messpraxis

$84.99

Excursions in Harmonic Analysis, Volume 2

$84.99

Mechanics, Boundary Layers and Function Spaces

$39.99

Redefining Nationalism in Modern China

$109.99

Kostenmanagement im Outsourcing von Logistikleistungen

$59.99

Darkest Italy

$54.99

Wrmeleitung

$49.99

Theatre and Aural Attention

$119.99

The Handbook of Biomarkers

$139.00

Soviet Reforms and Beyond

$39.99

Introduction to Pseudodifferential and Fourier Integral Operators

$139.99

The Practice of Banking 2

$54.99

The Body Unbound

$169.99

Proceedings of the 12th Reinventing Space Conference

$169.99

Festkrperprobleme 12

$54.99

China & the USA

$49.99

Gauge Invariance and Weyl-polymer Quantization

$39.99

Developmental Assets and Asset-Building Communities

$169.99

Corporate Hospitality bei Sportevents

$64.99

Der heimliche Dirigent - Wie das Immunsystem Partnerwahl und Schwangerschaft beeinflusst

$29.99

Advanced BDD Optimization

$129.00

Waste Management in Developing Countries

$129.99

Topics in Cryptology -- CT-RSA 2004

$54.99