Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
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
|
|
$54.99 | $54.99 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Virtual Campus
$219.99
Computer Networks
$54.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
Das Wertpapiergeschft
$59.99
Fortschritte in der Kinetik der Homogenen Gasreaktionen
$79.99
Computer Vision ECCV 2020
$109.99
The Role of Moral Reasoning on Socioscientific Issues and Discourse in Science Education
$109.99
Mehr Komplikationen in der Ansthesie
$59.99
Philosophie der Naturwissenschaften
$59.99
Inorganic and Analytical Chemistry
$39.99
Voluntary Nonprofit Enterprise Management
$54.99
Applied Laser Tooling
$39.99
Sustainable Water Resources Planning and Management Under Climate Change
$129.00
Der Erste Weltkrieg in der Dramatik deutsche und australische Perspektiven / The First World War i
$74.99
Clinical Anatomy and Embryology
$49.99
Pathogenic Yeasts
$219.99
Polyextremophiles
$219.99
Video Analysis and Repackaging for Distance Education
$84.99
Fuzzy Sets and Interactive Multiobjective Optimization
$169.99
Multivariable Feedback: A Quasi-Classical Approach
$39.99
Linked Data Visualization
$54.99
Strategic Production Networks
$169.99
Die Weltwirtschaft der Baumwolle
$59.99
Ethical and Philosophical Consideration of the Dual-Use Dilemma in the Biological Sciences
$49.99
Eigentumsverfassung und Finanzkrise
$69.99
How Dinosaurs Went Extinct
$5.99
Explaining Local Policy Agendas
$129.99
Why Startups Fail
$29.99
Neptune
$69.99
Logic and the Nature of Reality
$54.99
Goethe im Gesprch mit der Erde
$89.99
Validity of Educational Assessments in Chile and Latin America
$179.99
Cloud Computing, Security, Privacy in New Computing Environments
$39.99
Kapitalwert und Ertragsteuern
$59.99
Osteoporosis
$69.99
Inszenierungen von Weiblichkeit
$49.99
Chirurgie hat Zukunft
$17.99
Gesellschaftliches Bewutsein und Weiterbildungseinstellungen von Industriearbeitern
$59.99
Partizipation als Entscheidungshilfe
$69.99
An Evaluation of Japanese Environmental Regulations
$54.99
