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

Abstract State Machines, B and Z

Abstract State Machines, B and Z

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

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

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

New Stories for Old

$84.99

Stochastik in den Ingenieurwissenschaften

$37.99

Controlled Release, Biochemical Effects of Pesticides, Inhibition of Plant Pathogenic Fungi

$84.99

Ueber den Verbrennungs-Process mit spezieller Bercksichtigung der praktischen Erfordernisse

$54.99

George Eliot and Italy

$109.99

Automatic Design of Decision-Tree Induction Algorithms

$59.99

An Overview on Toxigenic Fungi and Mycotoxins in Europe

$199.99

Effective Polynomial Computation

$129.00

Lehrbuch der inneren Medizin in vier Teilen

$59.99

Class 1 Oxidoreductases XII

$329.99

The Soils of Croatia

$109.99

Determinanten der integrierten Kundenbindung

$69.99

Urban Sustainable Development in East Asia

$159.99

Women in Ancient Societies

$29.99

Soziale Hilfe Ein Teilsystem der Gesellschaft?

$59.99

Madness, Psychiatry, and Empire in Postcolonial Literature

$129.99

AutoCAD Express

$74.99

Post-Crisis European Cinema

$54.99

The Neapolitan Creative Economy

$99.00

Photochemistry

$99.99

Entropy Coders of the H.264/AVC Standard

$129.00

Die Dampfkessel und Motoren auf der Schsisch-Thringischen Industrie- und Gewerbeausstellung zu Lei

$54.99

Integrable Systems, Quantum Groups, and Quantum Field Theories

$39.99

Social Psychology: A Practical Manual

$54.99

Plant-derived Bioactives

$279.99

Food Supply Chains in Cities

$169.00

The Women's Suffrage Movement in Britain, 1866-1928

$109.99

Python Recipes Handbook

$37.99

Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

$59.99

Dimensionen der Sicherheitskultur

$79.99

Mnnlich Weiblich Trkisch Deutsch

$59.99

Learning Analytics und Knstliche Intelligenz in Studium und Lehre

$59.99

Making Quality Happen

$54.99

Environmental Impact Statement Glossary

$109.99

Interactive Wittgenstein

$84.99

Bibliographie der gerbereichemischen und ledertechnischen Literatur 17001956

$54.99

Strigolactones - Biology and Applications

$54.99

Land Degradation in India

$54.99

Application and Theory of Petri Nets and Concurrency

$79.99

Accounting and Causal Effects

$169.99