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

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

International Monetary Problems and Supply-Side Economics

$109.99

Radiology Today

$84.99

Brainteaser fr Bewerbungsgesprche

$19.99

Computational Biomechanics for Medicine

$129.00

Digital Typefaces

$39.99

Cellular Automata and Groups

$89.00

Mobile Virtual Work

$169.99

Biomedical Text Mining

$219.99

Optimization in Industry

$109.99

Technology and Touch

$54.99

Cholesterol Autoxidation

$219.99

Biocompatibility of Dental Materials

$249.99

Reassessing Tudor Humanism

$109.99

Ruby in Her Own Time

$5.96

Nonribosomal Peptide and Polyketide Biosynthesis

$84.99

Advanced Analysis

$54.99

Fallsammlung zum Handelsrecht

$19.95

Cultural Memory and Popular Dance

$169.99

Beginning iPhone Development

$54.99

Libya since 1969

$54.99

Analysis of Material Removal Processes

$54.99

RoboCup 2001: Robot Soccer World Cup V

$39.99

Polymer Characterisation

$169.00

VENEZIA VERDE Umwelthauptstadt Europa 20xx

$64.99

Chinese Computational Linguistics

$54.99

Minimally Invasive Therapy for Urinary Incontinence and Pelvic Organ Prolapse

$169.99

Quellenrepertorium zur neueren deutschen Literaturgeschichte

$29.99

Matter and Mind

$149.00

Membrane Separation of Food Bioactive Ingredients

$149.00

The Music of the Big Bang

$37.99

Recent Advances on Soft Computing and Data Mining

$219.99

Bioactive Conformation I

$219.99

Enhanced Chitosan Material for Water Treatment

$169.99

Active Networks

$39.99

Einfhrung in die Wahrscheinlichkeitsrechnung und mathematische Statistik

$59.99

Investigating Explanation-Based Learning

$169.00

Z2Z4-Linear Codes

$119.00

Atlas der Vagino- und Hysterosonographie

$69.99

Co-Production of Public Services and Outcomes

$89.00

Computer Security ESORICS 2024

$79.99