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

FME 2001: Formal Methods for Increasing Software Productivity

FME 2001: Formal Methods for Increasing Software Productivity

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

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universitat zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.

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

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

Sorosilicates

$549.99

bergangsmanagement und der Ausstieg aus Strafflligkeit

$44.99

Forschungsprogramme. Beitrge zur Vereinheitlichung der soziologischen Theoriebildung

$79.99

Lochnagar

$84.99

Google Maps Mashups with Google Mapplets

$29.99

Quantenmechanik auf dem Personalcomputer

$54.99

The Palgrave Handbook of Critical Social Psychology

$159.00

Verhaltensanomalien und Wirtschaftswissenschaft

$59.99

Konstitution und Vorkommen der organischen Pflanzenstoffe

$69.95

Universal Multiservice Networks

$54.99

Fourier Integral Operators and Partial Differential Equations

$44.99

School Segregation and Social Cohesion in Santiago

$84.99

Alternative Lebensstile und Aktivismus in Japan

$59.99

A Delicate Balance: Global Perspectives on Innovation and Tradition in the History of Mathematics

$109.99

RGW Wirtschaftliche Zusammenarbeit in Osteuropa

$39.99

Splat The Cat (Hardcover)

$17.99

Enterprise Governance and Enterprise Engineering

$59.99

Philosophy of Technology

$169.99

Optimierung objektorientierter Programme

$29.99

Pflanzenernhrung, Wurzelleistung und Exsudation

$49.99

Simulation-Based Optimization

$179.99

Personal Brands

$39.99

Computer Vision - ECCV 2008

$84.99

Economic Reforms in Chile

$109.99

The Legacies of Transition Governments in Africa

$54.99

Activity-Based Proteomics

$109.99

Direct Marketing

$59.99

Diversity of Experimental Methods in Economics

$119.99

Data, Disruption & Digital Leadership

$54.99

Empirische Identifikation von Wertpapierrisiken

$49.99

Arab Business Yearbook 1986

$169.99

Creativity for 21st Century Skills

$49.99

Teaching Excellence in Higher Education

$109.99

Untersuchung der Verschleireaktionen bei der Bearbeitung von Stahl mit Schnellarbeitsstahlwerkzeuge

$59.99

Media, Diaspora and Conflict

$69.99

Geometric Function Theory

$99.99

A Random Walk in Physics

$29.99

Operator Theroy Differential Operators and Related Topics

$219.99

Commercial Space Exploration

$44.99

Creating the New Egyptian Woman

$39.99