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

$36.00
@ 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
$39.99 $39.99

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

Similar Products

Zecken, Milben, Fliegen, Schaben ..

$19.99

Oxidative Stress: Diagnostic Methods and Applications in Medical Science

$109.99

Dog Breath (Hardcover)

$11.24

Gaseous Detonation Physics and Its Universal Framework Theory

$179.99

The Ecozones of the World

$129.99

The Performance of Pleasure in English Renaissance Drama

$54.99

I Am Ruby Bridges by Ruby Bridges

$18.99

Data Warehouse Managementhandbuch

$119.00

The Unity Game Engine and the Circuits of Cultural Software

$59.99

New Trends in Mathematical Physics

$219.99

Juristische Probleme der Datenverarbeitung in der Medizin

$59.99

Schrdinger Operators

$84.99

Tumors of the Central Nervous System, Volume 1

$219.99

Physical Design and Mask Synthesis for Directed Self-Assembly Lithography

$109.99

Assessing Government Transparency in China 2019

$109.99

Artificial Intelligence in Medicine

$54.99

Chinese Criminal Trials

$109.99

Geoinformation for Informed Decisions

$84.99

Peptides as Immunogens

$109.99

Sharp Real-Part Theorems

$29.99

European Aestheticism and Spanish American Modernismo

$39.99

Luxury in the Eighteenth Century

$109.99

Strategic Planning for Advanced Nursing Practice

$49.99

in Nanostructures

$109.99

Flexible Fertigungssysteme

$29.99

Husserls Introductions to Phenomenology

$109.99

Lnder-parlamentarismus in Deutschland

$54.99

Handbuch Politik USA

$99.99

Legal Perspectives on Corporate Social Responsibility

$54.99

Perturbation Methods for Differential Equations

$54.99

Methodologies in Peace Psychology

$54.99

Innovations and Advanced Techniques in Computer and Information Sciences and Engineering

$169.99

Illustrierte Ausgaben von J. W. Goethes Lyrik 1800 - 1933

$29.99

Digitale Jugendkulturen

$64.99

Principles of Spread-Spectrum Communication Systems

$99.00

Mathematical Methods

$74.99

Advances in X-Ray Analysis

$54.99

Psychotic Continuum

$109.99

International Students in the Asia Pacific

$84.99

Fun with Algorithms

$54.99