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

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

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

Human-Centred Economics

$32.99

Die Berechnung elektrischer Freileitungen nach wirtschaftlichen Gesichtspunkten

$59.99

Public Supply Chain Management

$59.99

Hirnorganische Psychosyndrome im Alter II

$69.99

Software Technologies for Embedded and Ubiquitous Systems

$39.99

Temporal Climatology and Anomalous Weather Analysis

$129.99

Optimization of Behavioral, Biobehavioral, and Biomedical Interventions

$129.00

Handbuch der gefhrlichen Gter. Transport- und Gefahrenklassen. Austauschlieferung, Dezember 2020

$159.99

Tau und Reif

$54.99

Patient-Centred Medicine in Transition

$169.99

LitCamp Plus Turquoise Bunk Grades 2-3

$1,265.00

Algebraic Number Theory

$59.99

Advances in Cryptology ASIACRYPT 2023

$79.99

Structured Object-Oriented Formal Language and Method

$44.99

Economic Factors in Population Growth

$129.00

Qualitative Theory of Dynamical Systems, Tools and Applications for Economic Modelling

$169.99

Ganztagsschule als Forschungsfeld

$59.99

Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases

$149.00

Electronic Government and the Information Systems Perspective

$54.99

Ten True Tales Grades 6-9

$21.00

Discourse Ontology

$99.99

The Geometry of Supermanifolds

$39.99

Biracial Families

$99.00

Kleist und die Folgen

$19.99

Kapsel-Band-Verletzungen des Kniegelenks

$69.99

Hebrew Fascism in Palestine, 19221942

$129.99

Acoustic Modeling for Emotion Recognition

$54.99

Moderne Identitt und Gesellschaft

$59.99

Geomicrobiology and Biogeochemistry

$169.99

Brain-Computer Interfaces

$109.99

Komm und sieh: Religion im Film

$59.99

Handbook of Autism Spectrum Disorder and the Law

$219.99

Adaptive High-Resolution Sensor Waveform Design for Tracking

$19.99

Sozialer Raum und Soziale Arbeit

$37.99

Cutting-Edge Enabling Technologies for Regenerative Medicine

$249.99

Die Kommanditgesellschaft auf Aktien (KGaA)

$69.99

Ambulatory Anorectal Surgery

$169.99

The Real Structure of High-Tc Superconductors

$84.99

Towards Knowledge in Writing

$39.99

Confectionery Packaging Equipment

$109.99