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 |
|
$44.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Warentest und Konsumgter-Marketing
$59.99
Kinderleben in der Welt des Leistungssports
$64.99
Confocal Microscopy for Biologists
$54.99
Critical Infrastructure Protection Research
$109.99
Integration of Information Flow for Greening Supply Chain Management
$79.99
National Geographic Kids Readers: Penguins
$4.46
Marxism and the State
$109.99
Advanced Methods of Continuum Mechanics for Materials and Structures
$169.99
Neural Information Processing
$39.99
Cancer of Unknown Primary
$109.99
Buruli Ulcer
$59.99
Sigma Delta Modulators
$129.00
Putting Crisis in Perspective
$109.00
Umweltgerechte Produktgestaltung
$54.99
Mehrstufige Prozefhrung beim spitzenlosen Schleifen im Durchlaufverfahren
$84.99
Dynamics of Complex Quantum Systems
$84.99
Dokumentationssysteme
$69.99
Lean im Betrieb
$17.99
Politische Diskurskulturen in Europa
$24.99
Policy Choices for the 1990s
$109.99
Information Concepts
$19.99
Turbo Coding for Satellite and Wireless Communications
$84.99
Nucleic Acid Structure
$54.99
Control Allocation for Spacecraft Under Actuator Faults
$159.99
The United Nations and Decolonization: The Role of Afro Asia
$54.99
Liebe kulturbergreifend betrachtet
$59.99
Receiving Generational Blessings from the Courts of Heaven- Cancel Bloodline Curses and Establish an Inheritance of Blessing by Robert Henderson
$19.99
The Early Reception of Berkeleys Immaterialism 17101733
$39.99
The Electroencephalogram in Anesthesia
$84.99
Groups of Automorphisms of Manifolds
$29.99
Space and the Irish Cultural Imagination
$54.99
Aufarbeitung von Kupferendelektrolyten durch Dialyse und Elektrodialyse
$59.99
Dictionary of Inorganic Compounds
$169.99
Analysis of Phylogenetics and Evolution with R
$54.99
Nature of Science in General Chemistry Textbooks
$49.95
Performance Measurement
$49.99
I Can Read! Level 3 - Gigi and Ojiji
$5.21
Personal Financial Planning for Executives and Entrepreneurs
$24.99
Quer denken Strukturen verndern
$59.99
Geisteswissenschaften
$59.99
