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

Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

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

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.

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

Plants and Heavy Metals

$39.99

Molecular Typing in Bacterial Infections, Volume I

$279.99

Vascular Surgery

$219.99

Fracture Scaling

$169.99

William Carlos Williams and the American Poem

$14.99

The University as a Critical Institution?

$39.99

Therapy for Genitourinary Cancer

$129.00

Micro-Electronics and Telecommunication Engineering

$249.99

C*-algebras and Elliptic Theory II

$84.99

Diagnostic Imaging in Pediatric Trauma

$84.99

Virtual Turning Points

$54.99

Forensic Services

$69.99

Multivariate Datenanalyse

$39.99

Bildgebende Verfahren in der Medizin

$79.99

Intelligent Robotics and Applications

$129.99

Creative Virtualities in Human Self-Interpretation-in-Culture

$169.99

Education Policy, Theories, and Trends in the 21st Century

$99.00

University Performance Before and During Economic Crises

$54.99

The Digital Transformation of the Public Sphere

$129.99

Mudshark

$5.21

e-Learning, e-Education, and Online Training

$99.00

Basic Clinical Anesthesia

$159.99

Queering Asylum in Europe

$59.99

Developmental Biology of Neoplastic Growth

$219.99

Topological Structure of the Solution Set for Evolution Inclusions

$39.99

Hal Leonard - Piano Fun for Adult Beginners Instructional Book and CD

$16.99

Ungifted: Supergifted

$7.46

Advanced Decision Making for HVAC Engineers

$79.99

Language in Cognition and Affect

$109.99

Connected Vehicles

$179.99

Financial Modelling with Forward-looking Information

$99.00

Dark Matter in Astro- and Particle Physics

$39.99

Der Anspruch des Subjekts

$29.99

Advanced Parallel Processing Technologies

$34.99

The Relation of Cobordism to K-Theories

$29.99

Credit Ratings and Sovereign Debt

$39.99

Biofuels from Algae

$179.99

Betriebliches Gesundheitsmanagement

$84.99

Physical Organic Chemistry

$39.99

Molecular Histochemical Techniques

$89.00