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 and Software Engineering

Formal Methods and Software Engineering

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

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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

Listeria monocytogenes: Pathogenesis and Host Response

$169.99

Nonlocal Perimeter, Curvature and Minimal Surfaces for Measurable Sets

$59.99

Open Mapping towards Sustainable Development Goals

$59.99

Politics of Mega-Events in China's Hong Kong and Macao

$54.99

Intention Bedeutung Kommunikation

$69.99

Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2022

$59.99

ber den derzeitigen Stand der Bauarbeiten am Tauernkraftwerk Kaprun

$59.99

Umkmpfte Staatlichkeit

$39.99

Learn About: The Five Senses: Hearing

$5.24

Sustainable Pipe Jacking Technology in the Urban Environment

$169.99

Economic Growth and Financial Development

$219.99

Computational Science and Its Applications -- ICCSA 2013

$54.99

Analysis and Computation of Microstructure in Finite Plasticity

$109.99

Lost Libraries

$159.99

Protocols for Oligonucleotide Conjugates

$169.00

Video-Atlas of VATS Pulmonary Sublobar Resections

$139.00

Study of the Inclusive Beauty Production at CMS and Construction and Commissioning of the CMS Pixel

$109.99

Adaptive Multi-Standard RF Front-Ends

$109.99

Civic Freedom in Central Europe

$49.99

Jugendliche im bergang zwischen Schule und Beruf

$39.99

Innovative Design, Analysis and Development Practices in Aerospace and Automotive Engineering

$219.99

Die Deutschen in Ruland

$59.99

Criminalising Coercive Control

$139.00

The Law on Medicines

$39.99

Moyamoya Disease: Current Knowledge and Future Perspectives

$89.00

Climate Change in Sustainable Water Resources Management

$179.99

Aerosol Optics

$109.99

The Maple O.D.E. Lab Book

$99.00

Applied Non-Linear Dynamical Systems

$169.99

Die Reform des Geldwesens

$59.99

Schriftkultur und Reichsverwaltung unter den Karolingern

$64.99

Umweltpsychologie

$19.99

Despeckle Filtering for Ultrasound Imaging and Video, Volume I

$54.99

Advances in Polymeric Eco-Composites and Eco-Nanocomposites

$139.00

Mathematical Modeling and Optimization of Complex Structures

$109.99

BOB Books Set #3: Word Families

$17.99

Baby-Sitters Little Sister: Karen's Sleepover

$9.74

Secular State and Religious Society

$39.99

Thermodynamische Funktionen idealer Gase fr Temperaturen bis 6000 K

$79.99

Handbook of Pathology and Pathophysiology of Cardiovascular Disease

$189.00