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

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage 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

Advances in Data Science and Management

$169.00

High Performance Memory Systems

$54.99

Jugend: Arbeit und Interessenvertretung in Europa

$59.99

Kalkl der abzhlenden Geometrie

$74.99

Reasoning with Complex Cases

$169.00

Das Sttzengescho der Pisaner Domkanzel

$59.99

Manufacturing Integrated Design

$139.99

No es una caja

$4.88

Enzyme Immunoassays

$219.99

Explorations in Archaeology and Philosophy

$109.99

Sustainable Thoughts in Ground Improvement and Soil Stability

$109.99

Gabler Kompaktlexikon Logistik

$44.99

Youth and the New Adulthood

$109.99

Parasitic Substrate Coupling in High Voltage Integrated Circuits

$109.99

Copyright Law in the Digital World

$219.99

DNA Repair and Mutagenesis in Eukaryotes

$109.99

Conditions of Happiness

$169.99

The Talking Eggs

$5.21

Productivity Growth and the Competitiveness of the American Economy

$54.99

The Little Engine That Could: The Complete, Original Edition by Watty Piper

$9.99

Die Erholungsdauer nach Hitzearbeit als Ma der Belastung

$59.99

Frsen

$44.99

Freiheit und Organisation in der Luftfahrtforschung. Bericht ber den Wiederbeginn deutscher Luftfah

$54.99

Die Bedeutung des Rollenmodells im Bildungsbereich

$69.99

Die Netz AG als zentraler Netzbetreiber in Deutschland

$84.99

Der Partnermarkt und die Gelegenheiten des Kennenlernens

$44.99

Subjective Views of Aging

$109.99

Information Security Practice and Experience

$54.99

Research and Development in Information Retrieval

$29.99

Microbial Biomass Proteins

$109.99

Beginning Django

$39.99

Future Impacts of Biotechnology on Agriculture, Food Production and Food Processing

$54.99

Machine Learning and AI for Healthcare

$34.99

Yearbook of International Sports Arbitration 2015

$109.99

Primary Wood Processing

$149.00

Applied Probability and Stochastic Processes

$169.00

Politik und Religion in einer sich globalisierenden Welt

$44.99

Solving the Mind-Body Problem by the CODAM Neural Model of Consciousness?

$109.99

On the work of Givental relative to mirror symmetry

$19.95

Models, Methods, Concepts & Applications of the Analytic Hierarchy Process

$249.99