Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Software Engineering and Formal Methods

Software Engineering and Formal Methods

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
1 Offer Price Range: $64.99 - $64.99
BEST PRICE

Single Product Purchase

$64.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
Contact Store Call Store Contact Support
$64.99 $64.99

$64.99
See Site In stock Visit Store

Similar Products

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