Breaking News!
Up to 30% Off Nike Footwear

Software Engineering and Formal Methods

Best Price (Coupon Required):
Buy Software Engineering and Formal Methods for $58.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $64.99 - $64.99
BEST PRICE

Single Product Purchase

$58.50
@ Link.springer.com with extra coupon

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
$64.99 $64.99

10% OFF
This deals requires coupon
$58.50
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031773822
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Intelligent Information Processing for Polarization Compass and Inertial Integrated Navigation Syste

Intelligent Information Processing for Polarization Compass and Inertial Integrated Navigation Syste

$169.99
Die gesetzlichen Bestimmungen ber die rztlichen Prfungen fr das Deutsche Reich vom 28. Mai 1901

Die gesetzlichen Bestimmungen ber die rztlichen Prfungen fr das Deutsche Reich vom 28. Mai 1901

$54.99
Dynamic System Reconfiguration in Heterogeneous Platforms

Dynamic System Reconfiguration in Heterogeneous Platforms

$169.99
A Beach Tail

A Beach Tail

$5.96
Grne Stadt - Gesunder Mensch

Grne Stadt - Gesunder Mensch

$17.99
Drugs Handbook 199697

Drugs Handbook 199697

$29.99
Collected Papers Vol 2: 1954-1979

Collected Papers Vol 2: 1954-1979

$329.99
Ruhestandsplanung - neuer Beratungsansatz fr die Zielgruppe 50plus

Ruhestandsplanung - neuer Beratungsansatz fr die Zielgruppe 50plus

$29.99
Doing Phenomenology

Doing Phenomenology

$169.99
Advances in Audio Watermarking Based on Singular Value Decomposition

Advances in Audio Watermarking Based on Singular Value Decomposition

$54.99
Research Methods in the Study of Substance Abuse

Research Methods in the Study of Substance Abuse

$169.99
Machine Learning in the Oil and Gas Industry

Machine Learning in the Oil and Gas Industry

$44.99
Coulomb Interactions in Nuclear and Atomic Few-Body Collisions

Coulomb Interactions in Nuclear and Atomic Few-Body Collisions

$169.99
The Economics of Self-Destructive Choices

The Economics of Self-Destructive Choices

$54.99
Cybercrime and Challenges in South Africa

Cybercrime and Challenges in South Africa

$139.99
Plastische Operationen an Kopf und Hals

Plastische Operationen an Kopf und Hals

$89.99
Collaboration Engineering

Collaboration Engineering

$37.99
Die drehbare Trockentrommel fr ununterbrochenen Betrieb

Die drehbare Trockentrommel fr ununterbrochenen Betrieb

$59.99
Somaclonal Variations and Crop Improvement

Somaclonal Variations and Crop Improvement

$169.99
Deutsche Familiensoziologie

Deutsche Familiensoziologie

$69.99
Ordinary Psychosis and The Body

Ordinary Psychosis and The Body

$54.99
The Tawhidi Methodological Worldview

The Tawhidi Methodological Worldview

$159.99
Rollenverstndnis und Vergtung des deutschen Aufsichtsrats

Rollenverstndnis und Vergtung des deutschen Aufsichtsrats

$59.99
The Family Under the Bridge

The Family Under the Bridge

$5.96
Scholar Zone Extended Learning ELA & Math Grade 1 (2 Scholar)

Scholar Zone Extended Learning ELA & Math Grade 1 (2 Scholar)

$150.00
Handbook of Continued Fractions for Special Functions

Handbook of Continued Fractions for Special Functions

$109.99
Computer-Assisted Neurosurgery

Computer-Assisted Neurosurgery

$54.99
Cellular Automata

Cellular Automata

$169.99
Proceedings of the FISITA 2012 World Automotive Congress

Proceedings of the FISITA 2012 World Automotive Congress

$259.00
Developments in Thermochemical Biomass Conversion

Developments in Thermochemical Biomass Conversion

$429.00
Ecosystem Services and Management Strategy in China

Ecosystem Services and Management Strategy in China

$109.99
Fundamentals of Craniofacial Malformations

Fundamentals of Craniofacial Malformations

$179.99
Fachlicher Entwurf von Workflow-Management-Anwendungen

Fachlicher Entwurf von Workflow-Management-Anwendungen

$69.95
Modeling the Interplay Between Human Behavior and the Spread of Infectious Diseases

Modeling the Interplay Between Human Behavior and the Spread of Infectious Diseases

$109.99
Risk in The New York Times (19872014)

Risk in The New York Times (19872014)

$59.99
Elektrochemie

Elektrochemie

$54.99
Beam Instrumentation and Diagnostics

Beam Instrumentation and Diagnostics

$219.99
Food Transportation

Food Transportation

$109.99
Die mikrochemische Bestimmung der Acetylgruppen in organischen Verbindungen

Die mikrochemische Bestimmung der Acetylgruppen in organischen Verbindungen

$49.99
Prioform-Handbuch

Prioform-Handbuch

$59.99
previous
next