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

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.

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

Erfolgreicher Wissenstransfer in agilen Organisationen

$59.99

Profiles in Operations Research

$89.00

The Herpesviruses

$54.99

Criminology, Conflict Resolution and Restorative Justice

$109.99

Strungen in der Frequenz und Rhythmik des Pulses

$59.99

Die Etransformation Beginnt!

$129.99

Processing of Hyperspectral Medical Images

$109.99

Nonlinear Photonics and Novel Optical Phenomena

$109.99

Supportive Care in Cancer Patients

$109.99

LOGIDATA+: Deductive Databases with Complex Objects

$39.99

Energy and Environmental Strategies in the Era of Globalization

$159.99

Strategische Personalbeurteilungen

$29.99

Terahertz Planar Antennas for Next Generation Communication

$109.99

Higher Dimensional Varieties and Rational Points

$109.99

Der zweite Portugiesische Sechsjahresplan

$59.99

Proceedings of International Conference on Advanced Communications and Machine Intelligence

$299.99

A Practical Guide to the Evaluation of Child Physical Abuse and Neglect

$119.00

Industriepraktikum Maschinenbau

$49.99

Recurrence in Topological Dynamics

$109.99

Organization Design

$169.99

Moderne Verwaltung fr moderne Metropolen

$64.99

Walter Dean Myers Grades 9-12

$35.00

Corpora and Discourse Studies

$129.99

The Proceedings of the 2021 Asia-Pacific International Symposium on Aerospace Technology (APISAT 202

$449.99

Expansion of Third-World Navies

$44.99

Wahrnehmung und Herstellung von Geschlecht

$59.99

Hacia un mundo verde

$5.21

Process Optimization for Manufacturing Companies

$69.99

China in the WTO

$109.99

Politics of Identity in Plural Societies

$54.99

The Economics of Optimal Growth Pathways

$139.99

The Politics of Developmentalism in Mexico, Taiwan and South Korea

$109.99

Krisenmanagement und Komplexitt

$44.99

To Judge and To Justify

$119.99

The Economics of Saving

$169.99

Postoperative Psychosen

$54.99

Hundegesttztes Coaching und Training

$37.99

Energy-Efficient and Semi-automated Truck Platooning

$49.99

High-Temperature H2S Removal from IGCC Coarse Gas

$109.99

Bulletin of Environmental Contamination and Toxicology

$54.99