Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Software Engineering and Formal Methods

Best Price:
Buy Software Engineering and Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

$39.99
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Libert, Egalit and Fraternit at Work

Libert, Egalit and Fraternit at Work

$109.99
Calcium Phosphates in Biological and Industrial Systems

Calcium Phosphates in Biological and Industrial Systems

$219.99
Biotechnology for Biofuels: A Sustainable Green Energy Solution

Biotechnology for Biofuels: A Sustainable Green Energy Solution

$129.00
Reflecting Imperial Overstretch and New Realities

Reflecting Imperial Overstretch and New Realities

$139.99
Grade 6 Below-Level Pack (Levels N-S)

Grade 6 Below-Level Pack (Levels N-S)

$215.00
Biomimetics for Technical Products and Innovation

Biomimetics for Technical Products and Innovation

$17.99
Five Nights at Freddy's Collection by Scott Cawthon

Five Nights at Freddy's Collection by Scott Cawthon

$29.97
Die Hygiene des Wassers

Die Hygiene des Wassers

$49.99
Paideia

Paideia

$219.99
Dermatitiden II  rtlich bertragbare Infektise Gewebsneubildungen  Tierische Parasiten und Fremd

Dermatitiden II rtlich bertragbare Infektise Gewebsneubildungen Tierische Parasiten und Fremd

$59.99
Presidential Impeachment in Latin America

Presidential Impeachment in Latin America

$179.99
Numerik fr Ingenieure, Physiker und Informatiker

Numerik fr Ingenieure, Physiker und Informatiker

$37.99
The Nightmare Before Christmas: The Official Cookbook and Entertaining Guide Official shopDisney

The Nightmare Before Christmas: The Official Cookbook and Entertaining Guide Official shopDisney

$29.99
Transdisciplinary Perioperative Care in Colorectal Surgery

Transdisciplinary Perioperative Care in Colorectal Surgery

$109.99
Arzneimittelsicherheit - Wunsch und Wirklichkeit

Arzneimittelsicherheit - Wunsch und Wirklichkeit

$69.95
Biomedical EPR - Part A: Free Radicals, Metals, Medicine and Physiology

Biomedical EPR - Part A: Free Radicals, Metals, Medicine and Physiology

$259.00
Optically Active Polymers

Optically Active Polymers

$54.99
National Accounts and Economic Value

National Accounts and Economic Value

$109.99
Mechanics of Solids with Applications to Thin Bodies

Mechanics of Solids with Applications to Thin Bodies

$329.99
The Sports Car Engine

The Sports Car Engine

$109.99
Signal Processing Techniques for Computational Health Informatics

Signal Processing Techniques for Computational Health Informatics

$169.99
Paleokarst

Paleokarst

$84.99
Manual of Pediatric Cardiac Care

Manual of Pediatric Cardiac Care

$179.99
Grundlagen der Allgemeinen Betriebswirtschaftslehre

Grundlagen der Allgemeinen Betriebswirtschaftslehre

$44.99
Grauzone and Completion of Meiosis During Drosophila Oogenesis

Grauzone and Completion of Meiosis During Drosophila Oogenesis

$109.99
Social Computing and Social Media: Experience Design and Social Network Analysis

Social Computing and Social Media: Experience Design and Social Network Analysis

$54.99
Zur Berechnung des Kraft- und Arbeitsbedarfes beim Strangpressen

Zur Berechnung des Kraft- und Arbeitsbedarfes beim Strangpressen

$54.99
Central Nervous System Pathology

Central Nervous System Pathology

$39.99
Pyrolysis and Gasification

Pyrolysis and Gasification

$329.99
Optical Properties 3

Optical Properties 3

$549.99
Fhrungsaufgabe Change

Fhrungsaufgabe Change

$64.99
Prospects for Biological Control of Plant Feeding Mites and Other Harmful Organisms

Prospects for Biological Control of Plant Feeding Mites and Other Harmful Organisms

$109.99
The Periodic Table II

The Periodic Table II

$379.99
Mathematical Methods in Systems, Optimization, and Control

Mathematical Methods in Systems, Optimization, and Control

$54.99
Der Tonus der Skelettmuskulatur

Der Tonus der Skelettmuskulatur

$69.99
Gravitational Biology I

Gravitational Biology I

$44.99
The (De)Legitimization of Violence in Sacred and Human Contexts

The (De)Legitimization of Violence in Sacred and Human Contexts

$159.99
Sabkha Ecosystems

Sabkha Ecosystems

$169.99
Codes and turbo codes

Codes and turbo codes

$84.99
Modernism and Public Reform in Late Imperial Russia

Modernism and Public Reform in Late Imperial Russia

$109.99
previous
next