Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 68, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.
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
|
|
$64.99 | $64.99 |
|
$64.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Programmiersprachen
$69.99
The Fairy Bargains of Prospect Hill by Rowenna Miller
$18.99
Arab Nation, Arab Nationalism
$109.99
Emerging Applications of 3D Printing During CoVID 19 Pandemic
$139.00
Sustainable Automotive Technologies 2013
$219.99
Manufacturing Simulation with Plant Simulation and Simtalk
$84.99
Introduction to Materials for Advanced Energy Systems
$109.00
Digital Learning based Education
$69.99
The Underland Chronicles: Gregor and the Code of Claw
$7.49
The Molecular Immunology of Complex Carbohydrates
$109.99
Geteilte Gemeinschaft und mann-mnnliche Prostitution
$39.99
Coding Theory and Design Theory
$84.99
Quantum Gravity
$109.99
Political Stability, Democracy and Agenda Dynamics in Turkey
$79.99
Analytische Chemie I
$39.99
Stahlhochbau
$29.99
Chinese Lexical Semantics
$89.99
Robertsonian Economics
$44.99
The Development and Governance of Private Universities in China
$129.99
Recent Applications of Harmonic Analysis to Function Spaces, Differential Equations, and Data Scienc
$129.99
Evolutionary Gerontology and Geriatrics
$169.99
Symbolic Analysis of Analog Circuits: Techniques and Applications
$84.99
Advances on Broad-Band Wireless Computing, Communication and Applications
$219.99
Embryonenschutz im Spannungsfeld internationaler Menschenrechte, staatlicher Grundrechte und nationa
$99.99
From Vectors to Tensors
$89.99
New Results in Numerical and Experimental Fluid Mechanics III
$169.00
Migration und Integration
$59.99
A Human Values Pathway for Teachers
$169.99
Medium-Energy Antiprotons and the QuarkGluon Structure of Hadrons
$39.99
Neuronale Netze in der Finanzwirtschaft
$59.99
Historical Foundations of Educational Psychology
$169.99
Computational Aspects of General Equilibrium Theory
$84.99
Cryptographic Applications of Analytic Number Theory
$84.99
Naturalistic Epistemology
$169.99
Negotiating Identity in Modern Foreign Language Teaching
$159.99
Fractures in the Elderly
$129.99
Stochastic Ordinary and Stochastic Partial Differential Equations
$109.99
Legality Matters
$99.99
Juristische Aspekte des Qualittsmanagements
$109.00
Grundstze soliden Investierens
$39.99
