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

This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods. The four workshops were: ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation; HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop; MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains; VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* 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

A Comprehensive Guide to Core Needle Biopsies of the Breast

$169.00

Geschichte des chinesischen Films

$49.99

Project Set Strategies

$39.99

Get Your Knee Off Our Necks

$32.99

Das Wasserstoffperoxyd und die Perverbindungen

$59.99

Telekommunikationsanwendungen fr kleine und mittlere Unternehmen

$54.99

Mssbauer Spectroscopy Applied to Inorganic Chemistry

$169.00

Constant-Sign Solutions of Systems of Integral Equations

$109.99

US Foreign Policy and the Multinational Force in Lebanon

$109.99

Postdigital Humans

$169.99

Musik und Stadt

$39.99

The Life-Changing Power of Intuition: Tune In to Yourself, Transform Your Life by Emma Lucy Knowles

$17.99

Numerische Bahnsteuerung

$59.99

Einfhrung in die neue konomie der Medienmrkte

$37.99

Digitalstrategien erfolgreich entwickeln

$49.99

Design/Repair

$99.00

Industrial Mathematics and Complex Systems

$109.99

Ral Castro and Cuba

$74.99

The History of Armenia

$159.99

A Short History of the Liberal Party 19001984

$74.99

Nonlinear Fokker-Planck Flows and their Probabilistic Counterparts

$54.99

Atlas of Knee Arthroscopy

$199.99

Academic Skepticism in Hume and Kant

$129.99

Modeling and IPC Control of Interactive Mechanical Systems - A Coordinate-Free Approach

$129.00

Leadership ohne Leine

$19.99

Medication Management in Older Adults

$54.99

Multimedia Technology and Enhanced Learning

$79.99

Erfolgreich fhren im Ehrenamt

$34.99

Optimization of Plant Nutrition

$549.99

Vgel aus Federn

$54.99

Die neuesten Forschungsergebnisse ber Tabak, Tabakrauch und Nikotinaufnahme beim Tabakrauchen

$49.99

African Environmental Ethics

$129.99

Die Risikostruktur von Industrieanleihen

$59.99

From Minimal Contrast to Meaning Construct

$109.99

Facetten hybriden Kaufverhaltens

$59.99

Computer Vision ECCV 2024

$139.99

Dynamics of Glassy, Crystalline and Liquid Ionic Conductors

$139.00

National Geographic Kids Readers: Level 2: Harriet Tubman

$3.71

Innovation of Digital Economy

$109.99

The Chinese Dream and Zhejiangs PracticeGeneral Report Volume

$54.99