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

Software Engineering and Formal Methods

Best Price:
Buy Software Engineering and Formal Methods for $54.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

Single Product Purchase

$54.99
@ Link.springer.com     BUY Now

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

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

Geometric Algebra Applications Vol. II

Geometric Algebra Applications Vol. II

$149.00
Aufbewahrung und Signierung der Arzneimittel und Spezialitten

Aufbewahrung und Signierung der Arzneimittel und Spezialitten

$54.99
Advances in Mathematical Economics

Advances in Mathematical Economics

$84.99
Magnification Radiography

Magnification Radiography

$109.99
Unprecedented Leadership

Unprecedented Leadership

$32.99
France and Germany in the South China Sea, c. 1840-1930

France and Germany in the South China Sea, c. 1840-1930

$159.99
Grundstzliches zur Volksschullehrerbildung

Grundstzliches zur Volksschullehrerbildung

$59.99
Multiple Abstraction Hierarchies for Mobile Robot Operation in Environments

Multiple Abstraction Hierarchies for Mobile Robot Operation in Environments

$84.99
Manual of Vascular Surgery

Manual of Vascular Surgery

$74.99
Artificial Intelligence

Artificial Intelligence

$54.99
Bericht ber die vierte Tagung ber Psychopathenfrsorge Dsseldorf

Bericht ber die vierte Tagung ber Psychopathenfrsorge Dsseldorf

$59.99
Japanese Urban System

Japanese Urban System

$109.99
Neutron Diffraction

Neutron Diffraction

$109.99
Patch-Based Techniques in Medical Imaging

Patch-Based Techniques in Medical Imaging

$54.99
Surface Modification of Nanoparticles for Targeted Drug Delivery

Surface Modification of Nanoparticles for Targeted Drug Delivery

$59.99
September Grades 3-4 Printable Packet

September Grades 3-4 Printable Packet

$4.99
Dynamic Reconfigurable Architectures and Transparent Optimization Techniques

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques

$84.99
Sociology and Liturgy

Sociology and Liturgy

$129.00
Handbuch des Museumsrechts 4: Internationaler Schutz von Museumsgut

Handbuch des Museumsrechts 4: Internationaler Schutz von Museumsgut

$59.99
Variational Methods Applied to Problems of Diffusion and Reaction

Variational Methods Applied to Problems of Diffusion and Reaction

$39.99
The Pyloric Sphincteric Cylinder in Health and Disease

The Pyloric Sphincteric Cylinder in Health and Disease

$84.99
3D-Druck und Lean Production

3D-Druck und Lean Production

$14.99
MHC Ligands and Peptide Motifs

MHC Ligands and Peptide Motifs

$84.99
Ion Channel Localization

Ion Channel Localization

$129.00
Combinatorial Optimization

Combinatorial Optimization

$39.99
Gender, Considered

Gender, Considered

$139.99
Umweltschutz in der metallverarbeitenden Industrie

Umweltschutz in der metallverarbeitenden Industrie

$49.99
Frozen Section Library: Central Nervous System

Frozen Section Library: Central Nervous System

$149.00
Developmental Patterning of the Vertebrate Limb

Developmental Patterning of the Vertebrate Limb

$39.99
Select Collection 3: Ages 24-36 Months

Select Collection 3: Ages 24-36 Months

$107.00
Discovery, Innovation, and the Victorian Admiralty

Discovery, Innovation, and the Victorian Admiralty

$129.99
Scholar Zone Summer Reading & Writing and Math Grade 8

Scholar Zone Summer Reading & Writing and Math Grade 8

$1,150.00
Chemotherapy Protocols and Infusion Sequence

Chemotherapy Protocols and Infusion Sequence

$109.99
Development Strategies and Biodiversity

Development Strategies and Biodiversity

$129.99
Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

$54.99
Software Security - Theories and Systems

Software Security - Theories and Systems

$54.99
Die Reduktion physikalischer Theorien

Die Reduktion physikalischer Theorien

$59.99
Versuchsanlage fr Balken unter Torsion  Biegung  Querkraft

Versuchsanlage fr Balken unter Torsion Biegung Querkraft

$54.99
A Concise Guide to Market Research

A Concise Guide to Market Research

$49.99
Autobiographical Memory in an Aboriginal Australian Community

Autobiographical Memory in an Aboriginal Australian Community

$54.99
previous
next