Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Software Engineering and Formal Methods

Best Price (Coupon Required):
Buy Software Engineering and Formal Methods for $49.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: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$49.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
$54.99 $54.99

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

Product Details

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

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.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Brckenbau beginnt im Kopf

Brckenbau beginnt im Kopf

$39.99
Indexed Categories and Their Applications

Indexed Categories and Their Applications

$54.99
Innovation, Governance and Entrepreneurship: How Do They Evolve in Middle Income Countries?

Innovation, Governance and Entrepreneurship: How Do They Evolve in Middle Income Countries?

$139.99
Solar Resources Mapping

Solar Resources Mapping

$129.99
Der Nachweis kleinster CO-Mengen in Krperflssigkeiten

Der Nachweis kleinster CO-Mengen in Krperflssigkeiten

$54.99
Prediction of Interannual Climate Variations

Prediction of Interannual Climate Variations

$109.99
Dust Bunnies: Here Comes the Big, Mean Dust Bunny!

Dust Bunnies: Here Comes the Big, Mean Dust Bunny!

$5.21
Hieroglyphische Inschriften des Alten Reiches

Hieroglyphische Inschriften des Alten Reiches

$59.99
Hochschulweiterbildung als biografische Transition

Hochschulweiterbildung als biografische Transition

$49.99
The Designers Guide to Spice and Spectre

The Designers Guide to Spice and Spectre

$219.00
Intraoperative Flow Cytometry

Intraoperative Flow Cytometry

$159.99
Recent Advances in Drug Delivery Systems

Recent Advances in Drug Delivery Systems

$84.99
Qualitatives Wachstum

Qualitatives Wachstum

$44.99
The Bush Doctrine and Latin America

The Bush Doctrine and Latin America

$39.99
Springer Handbook of Metrology and Testing

Springer Handbook of Metrology and Testing

$269.00
Microelectronics, Electromagnetics and Telecommunications

Microelectronics, Electromagnetics and Telecommunications

$329.99
Biological Role of Inorganic Pyrophosphate

Biological Role of Inorganic Pyrophosphate

$169.99
The Continental Permain in Central, West, and South Europe

The Continental Permain in Central, West, and South Europe

$54.99
Koffein

Koffein

$34.99
Optimization, Parallel Processing and Applications

Optimization, Parallel Processing and Applications

$109.99
Grundzge der Geologie

Grundzge der Geologie

$59.99
Smart and Sustainable Planning for Cities and Regions

Smart and Sustainable Planning for Cities and Regions

$54.99
Nierenbiopsie bei Kindern

Nierenbiopsie bei Kindern

$69.99
Implicit Linear Systems

Implicit Linear Systems

$39.99
Hochschulbildungsforschung

Hochschulbildungsforschung

$49.99
Fragen Sie Ihren Arzt oder Apotheker

Fragen Sie Ihren Arzt oder Apotheker

$29.99
The Plant Cytoskeleton: a Key Tool for Agro-Biotechnology

The Plant Cytoskeleton: a Key Tool for Agro-Biotechnology

$169.00
Rookie Read-About Geography-Continents: Europe

Rookie Read-About Geography-Continents: Europe

$4.46
The Reflection of Life

The Reflection of Life

$119.99
Tumble

Tumble

$6.74
Urogenitale Carcinome

Urogenitale Carcinome

$44.99
Stofftransport der Pflanzen

Stofftransport der Pflanzen

$59.99
Job Scheduling Strategies for Parallel Processing

Job Scheduling Strategies for Parallel Processing

$54.99
Archetypes of Crowdfunding Platforms

Archetypes of Crowdfunding Platforms

$39.99
Analysis of Biological Molecules

Analysis of Biological Molecules

$109.99
Kultur - Handlung - Demokratie

Kultur - Handlung - Demokratie

$69.95
Fhlen und Fhren

Fhlen und Fhren

$39.99
Progress in System and Robot Analysis and Control Design

Progress in System and Robot Analysis and Control Design

$39.99
Stellar Jets and Bipolar Outflows

Stellar Jets and Bipolar Outflows

$169.00
Simulation Science

Simulation Science

$39.99
previous
next