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

English Renaissance Tragedy

$59.99

Die Gefahren der Vernetzung durch Vernetzung

$99.99

Deep Learning for Cancer Diagnosis

$159.99

Optical Imaging of Brain Function and Metabolism

$219.99

The Challenges of Mental Health Caregiving

$54.99

Preventing Terrorism and Controlling Risk

$39.99

Bioinformatics Research and Application

$39.99

Computer Vision, Virtual Reality and Robotics in Medicine

$109.99

Diseases of the Sinuses

$39.99

Perinatal and Prenatal Disorders

$169.99

Glycotechnology

$169.99

Advances in Bioprocess Engineering and Technology

$219.99

Dragon Prince: Book Two: Sky

$8.24

VHDL for Simulation, Synthesis and Formal Proofs of Hardware

$169.00

Meta-Programming and Model-Driven Meta-Program Development

$109.99

Fernsehtechnik

$84.99

Nanoscale Structure and Assembly at Solid-Fluid Interfaces

$109.99

Handbook of Non-Motor Symptoms in Parkinson's Disease

$39.99

China's Industrialization Process

$39.99

Die psychogenen Reaktionen, einschlielich der sogenannten Entschdigungsneurosen

$59.99

Vertrauen in die Wissenschaftskarriere

$54.99

Nutzen der Labormedizin in der Schweiz

$49.99

The Story of Algebraic Numbers in the First Half of the 20th Century

$159.99

Das Bundesanleihekonsortium im Zusammenhang mit Gesamtwirtschaft, Staat, Banken und Kapitalmarkt

$69.99

Der Hochofen

$84.99

Time Domain Methods in Electrodynamics

$169.99

Collaboration in the Australian and Chinese Mobile Telecommunication Markets

$169.99

Por qu yo soy yo?

$5.99

The Development of Eco-Phenomenology as An Interpretative Paradigm of The Living World

$84.99

Bonding Problems

$39.99

Dichtung und Kunst

$39.99

Advances in Schizophrenia Research 2009

$129.00

Advanced Information Systems Engineering

$109.99

Bilingualism and Bilingual Education: Politics, Policies and Practices in a Globalized Society

$159.99

Economics of Grids, Clouds, Systems, and Services

$39.99

EBM 2021 Kommentar

$69.99

Knot Theory

$44.99

Einfhrung in die Hhere Mathematik

$59.99

Working and Caring over the Twentieth Century

$84.99

Millimeter-wave Integrated Technologies in the Era of the Fourth Industrial Revolution

$109.99