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

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

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

Nuclear Tests

$169.99

Verknpfte Welten

$39.99

Die Mercerisation der Baumwolle und die Appretur der mercerisierten Gewebe

$59.99

Ergometrie

$59.99

Die Ermittlung der Faktorstruktur

$49.99

Black Women, Academe, and the Tenure Process in the United States and the Caribbean

$99.99

ExpertInnen machen Schule

$59.99

The Influence of Edmund D. Pellegrinos Philosophy of Medicine

$109.99

Psychiatric Consequences of Brain Disease in the Elderly: A Focus on Management

$54.99

STEM Education in the Junior Secondary

$84.99

konomische Bewertung wasserwirtschaftlicher Systeme

$39.99

iPhone Games Projects

$39.99

Advances in Model and Data Engineering in the Digitalization Era

$84.99

Elements of Statistics for the Life and Social Sciences

$39.99

Die Bestimmung des Agglomerationszustandes von trockenen und dispergierten Pigmenten und dessen Zusa

$49.99

Structuralism and the Logic of Dissent

$169.99

Novel NMR and EPR Techniques

$39.99

Handbook of Response to Intervention

$269.00

S3-Leitlinie Angststrungen

$69.99

The Upper Atmosphere

$54.99

Produktions- und Logistikmanagement in Virtuellen Unternehmen und Unternehmensnetzwerken

$109.00

Stochastic Calculus of Variations in Mathematical Finance

$39.99

Neue Impulse fr die soziologische Kommunikationstheorie

$59.99

Nonlinear Fokker-Planck Flows and their Probabilistic Counterparts

$54.99

Measurement of Quarkonium Polarization to Probe QCD at the LHC

$54.99

Werthaltungen von Lehrkrften in der Erwachsenenbildung

$59.99

From Brownian Motion to Schrdingers Equation

$109.99

Hybrid Factories in Latin America

$109.99

Thematisches Verzeichnis der musikalischen Werke Ignaz Franz von Beeckes (17331803)

$49.99

Soils and Foundations for Architects and Engineers

$129.00

Migrationssteuerung und Konfigurationsverwaltung fr verteilte objektorientierte Anwendungen

$69.99

Advances in Applied Mechanical Engineering

$249.99

Remote Sensing Image Analysis: Including the Spatial Domain

$84.99

Beginning JavaScript Charts

$39.99

Geschftsmodell-Innovation

$99.99

Kinder im Stress

$34.99

Knstliche Intelligenz fr Sales, Marketing und Service

$54.99

Timing Jitter in Time-of-Flight Range Imaging Cameras

$169.99

Advances in CAD/CAM Workstations

$109.99

Stanztechnik

$59.99