Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
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
|
|
$44.99 | $44.99 |
|
$40.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Alt Krank Blank?
$9.99
Clinical Neuroanatomy
$109.99
MRI of the Rheumatic Spine
$169.99
Any Time, Anywhere Computing
$129.00
Logic-Based Program Synthesis and Transformation
$39.99
16th International Conference on Soft Computing Models in Industrial and Environmental Applications
$279.99
Building Technology and Culture in the Asia-Pacific Region
$129.99
Lagerhaltung
$59.99
The Postwar Rapprochement of Malaya and Japan 1945-61
$169.99
The Science and Engineering of Materials
$39.32
John Charnley
$109.00
App-Entwicklung fr Mobile und Desktop
$39.99
A House for Hermit Crab
$5.96
Charles Hartshorne's Concept of God
$299.99
Wertkreation in Kundennutzungsprozessen
$49.99
Security in Computing and Communications
$109.99
Mittelstand 2.0
$69.99
Detection of Intrusions and Malware, and Vulnerability Assessment
$54.99
Discourse Markers and Beyond
$119.99
Spreadsheets in Science and Engineering
$39.99
Structural Dynamics and Renewable Energy, Volume 1
$169.00
Computational Signal Processing and Analysis
$219.99
Dynamical Analysis of Non-Fourier Heat Conduction and Its Application in Nanosystems
$109.99
Karl Jaspers Philosophy and Psychopathology
$199.99
Forget Me Nat (Nat Enough #2)
$9.74
Lentiviral Vector Systems for Gene Transfer
$169.99
European Integration
$84.99
Breast Cancer
$84.99
Anwendung von RFID-Systemen
$84.99
Codierungstheorie und Kryptographie
$19.95
BANKMAGAZIN - Jahrgang 2013
$89.99
Complex fluids
$49.99
Wirtschaftsinformatik 2005
$349.00
Lokale Bestimmung gasfrmiger Schadstoffe mittels einer Impuls-Laser-Streulicht-Sonde
$59.99
Teilchen und Kerne
$49.99
The Sun and the Heliosphere in Three Dimensions
$219.99
Environmental Informatics
$219.99
The American West and the Nazi East
$109.99
Clinical Pharmacology of Anti-Epileptic Drugs
$84.99
Mediation fr mehr Gesundheit am Arbeitsplatz
$17.99
