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 2002: Formal Methods - Getting IT Right

FME 2002: Formal Methods - Getting IT Right

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

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was Formal Methods: Getting IT Right. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.

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

Mixture Formation in Spark-Ignition Engines

$54.99

Black and Asian Athletes in British Sport and Society

$54.99

Cavity Optomechanics

$219.99

On-Chip Training NPU - Algorithm, Architecture and SoC Design

$109.99

The Welfare of Cats

$189.00

Hegemony and the Holocaust

$139.99

Nature Stories: Little Pumpkin

$4.46

HFI/NQI 2007

$219.99

Agriculturally Important Microbes for Sustainable Agriculture

$169.99

Java 9 Recipes

$39.99

Lsionen der Becken- und Oberschenkelarterien

$59.99

Structural Analysis of Historical Constructions

$379.99

The Dynamics of Transculturality

$39.99

Magnetic Resonance Elastography

$59.99

Chemoselective Nucleophilic -Amination of Amides

$39.99

IndiaVietnam Relations

$129.99

Multimedia im Verkaufsgesprch

$44.99

Potash

$599.99

Hexagonal Image Processing

$109.99

Tropical Rainforest Research Current Issues

$219.99

Erblichkeit der Intelligenz

$17.99

Bilanzierung von Kundenbeziehungen nach IFRS

$79.99

The Vitamins

$54.99

Cyclic ADP-Ribose and NAADP

$169.99

Meine neuen Ideen zur Schachprogrammierung

$59.99

Scanning Force Microscopy of Polymers

$84.99

Caster

$4.99

Letters across Borders

$119.99

Proceedings of the International Conference on Data Engineering and Communication Technology

$219.99

Polyelectrolytes with Defined Molecular Architecture I

$299.00

The Competition

$54.99

Longitudinal Studies on the Organization of Social Interaction

$139.99

Why AI/Data Science Projects Fail

$32.99

Getting to Know the World's Greatest Composers: Wolfgang Amadeus Mozart

$5.21

Handbuch der Untersuchung der oberen Extremitten

$84.99

Advances in Noninvasive Electrocardiographic Monitoring Techniques

$169.00

Cryptology and Network Security

$54.99

Neurotoxic Factors in Parkinsons Disease and Related Disorders

$169.99

The Palgrave Handbook of Mimetic Theory and Religion

$259.00

Trends in Distributed Systems for Electronic Commerce

$39.99