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

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development 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

Optical Network Design and Modeling

$39.99

A Thermodynamic Approach to Water Geothermometry

$129.00

Planung und Auswertung von Untersuchungen im Rahmen des allgemeinen linearen Modells

$69.99

A Rehabilitated Estuarine Ecosystem

$169.99

Die Missbildungen und Anomalien der Nase und des Nasenrachenraumes

$59.99

Technologie und Wettbewerbsvorteile

$59.99

Arsenic Toxicity Remediation: Biotechnological Approaches

$169.99

Die Wrmeausdehnung fester und flssiger Stoffe

$59.99

Ghostwriting and the Ethics of Authenticity

$99.00

Operative Techniques in Coronary Artery Bypass Surgery

$69.99

Physics Up to 200 TeV

$54.99

Systems, Smart Technologies and Innovation for Society

$199.99

Scientific Workflows

$109.99

Elektronenmikroskopie

$44.99

OOIS98

$54.99

Transactional Machine Learning with Data Streams and AutoML

$69.99

Universal Access in Human-Computer Interaction. Applications and Practice

$54.99

Consecutive Interpreting

$109.99

Ma und Wahrscheinlichkeit

$39.99

Treatment of Burns

$109.99

Versorgungskonzepte fr Menschen mit Demenz

$49.99

Robotik in der Wirtschaftsinformatik

$64.99

Entrepreneurial Music Education

$39.99

Introduction to Kinematics and Dynamics of Machinery

$64.99

Rapid Detection of Infectious Agents

$169.00

Global Beauty, Local Bodies

$39.99

An Introduction to Python and Computer Programming

$179.99

The Riddles of Harry Potter

$54.99

Tuberkulose-Jahrbuch 1951/52

$44.99

Financial Inclusion and Digital Transformation Regulatory Practices in Selected SADC Countries

$179.99

Road Vehicle Automation 9

$169.00

Regenerative Energietechnik

$44.99

Geology of North Africa and the Mediterranean: Sedimentary Basins and Georesources

$169.99

British Political Facts

$74.99

Object-Oriented Technology: ECOOP 97 Workshop Reader

$39.99

Trennung von der Organisation

$74.99

Investitionsrechnung fr Praktiker

$54.99

Mathematics of Open Fluid Systems

$89.99

Entwicklung der irdischen Atmosphre durch die Evolution der Biosphre

$54.99

Bewertungs- und Entscheidungsrelevanz der Humankapitalberichterstattung

$74.99