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

Software Engineering and Formal Methods

Software Engineering and Formal Methods

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

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

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

Stadtbaustein Bildung

$69.99

Nuclear Technologies in a Sustainable Energy System

$84.99

Statistics for Health Data Science

$109.99

Analytic Number Theory

$169.99

Physical Principles of Electron Microscopy

$179.99

The Territorial Force at War, 1914-16

$109.99

An Introduction to the Properties of Engineering Materials

$109.99

Polymeric Nanoparticles for Bovine Mastitis Treatment

$179.99

Structure and Properties of Ionomers

$259.00

Kausalitt und Vitalismus vom Standpunkt der Denkkonomie

$59.99

Gleichstellungsorientierte Arbeit mit Mdchen und jungen Frauen

$64.99

From Geometric Modeling to Shape Modeling

$169.99

Marine Mammal Welfare

$279.99

Porphyrin Photosensitization

$84.99

International Economic Co-Operation and the World Bank

$129.00

Nitrogen Fixation with Non-Legumes

$169.99

Logic at Botik '89

$39.99

Understanding Behavioral Synthesis

$129.00

Physik in Streifzgen

$59.99

Etiopathogenetic Hypotheses of Schizophrenia

$39.99

Cathodoluminescence and its Application in the Planetary Sciences

$109.99

Influence of Social Media in a Changing Landscape of Crisis

$109.99

Statistik fr Wirtschaftswissenschaftler

$19.99

Die Eigenschaften elektrotechnischer Isoliermaterialien in graphischen Darstellungen

$74.99

Finnish Women Making Religion

$54.99

Elements of Port Operation and Management

$109.00

Springer-Verlag: History of a Scientific Publishing House

$59.99

Arbeitsbuch Marketing

$64.99

Perl 6 Quick Syntax Reference

$37.99

Die Seele des Tieres

$59.99

North American Critical Theory After Postmodernism

$109.99

Behind the Wireless

$32.99

Comprehensive Virology

$39.99

Unternehmenskultur und Innovationserfolg in Familienunternehmen

$64.99

Family Life, Trauma and Loss in the Twentieth Century

$99.99

Excel unter Windows

$69.99

Methods of Cancer Diagnosis, Therapy and Prognosis

$259.00

Economic and Societal Transformation in Pandemic-Trapped India

$199.99

The Financial Services Revolution

$39.99

Analysis in Banach Spaces

$199.99