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
9783642169014
Condition
New
Product Description

This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefullyreviewed and selected from 114 submissions. The papers address all current issuesin formal methods and their applications in software engineering. They areorganized in topical sections on theorem proving and decision procedures, webservices and workflow, verification, applications of formal methods, probabilityand concurrency, program analysis, model checking, object orientation and mod eldriven engineering, as well as specification and verification.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Gender,Justice and Welfare in Britain,1900-1950

$109.99

Strungen an Kltemaschinen

$59.99

The Poetry of the Chartist Movement

$219.99

Educational Leadership in Policy

$89.00

Space Robotics: Dynamics and Control

$169.99

Application and Theory of Petri Nets and Concurrency

$89.99

Fly Guy Presents: Monster Trucks

$3.71

The Economics of Agriculture and Natural Resources

$84.99

Art, Education and Gender

$109.99

VDI-Wasserdampftafeln

$54.99

GO 2025 Kommentar, IGeL-Abrechnung

$89.99

Data Analytics for Management, Banking and Finance

$199.99

Engineering Optics

$39.99

Persuasion (Signature Classics) by Jane Austen

$18.00

Hereditary Chorioretinal Disorders

$169.99

Maschinen der Kommunikation

$29.99

Mercury Cadmium Lead Handbook for Sustainable Heavy Metals Policy and Regulation

$219.99

State Security and Regime Security

$74.99

Population, Resources and Development

$109.99

bungen zur Technischen Strmungslehre

$44.99

Examens-Fragen Kinderheilkunde

$54.99

Plant Invasions in Protected Areas

$279.99

Classic Goosebumps: The Scarecrow Walks at Midnight (#16)

$5.99

Property Rights

$109.99

Lechner, Gehrke, Nordmeier - Makromolekulare Chemie

$49.99

Statistical Language and Speech Processing

$59.99

Service-Oriented Crowdsourcing

$39.99

The Human Testis

$109.99

Application of Petri Nets to Communication Networks

$39.99

Enterprise Security

$54.99

Endlich Energie im Job

$44.99

The Wedding Book: An Expert's Guide to Planning Your Perfect Day--Your Way by Mindy Weiss

$24.95

A Frightening Love: Recasting the Problem of Evil

$54.99

Kasuistischer Beitrag zur pathologischen Anatomie der symmetrischen Linsenkernerweichung bei CO-Verg

$59.99

Modeling and Evaluating Denial of Service Attacks for Wireless and Mobile Applications

$54.99

Cancer Treatment An Update

$84.99

Climatic Change and Its Impacts

$84.99

Partielle Differentialgleichungen der Geometrie und der Physik 1

$39.99

School and Community Interactions

$54.99

Algorithmen und Datenstrukturen

$44.99