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

Formal Methods and Software Engineering

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

Single Product Purchase

$36.00
@ 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
$39.99 $39.99

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

Product Details

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

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Amerikastudien / American Studies

Amerikastudien / American Studies

$69.99
How to Win Customers in the Digital World

How to Win Customers in the Digital World

$39.99
The Economics of Property Rights

The Economics of Property Rights

$39.99
Regional Climate Studies of China

Regional Climate Studies of China

$129.00
123's Collection Grades PreK-K

123's Collection Grades PreK-K

$69.00
Carbon-related Materials in Recognition of Nobel Lectures by Prof. Akira Suzuki in ICCE

Carbon-related Materials in Recognition of Nobel Lectures by Prof. Akira Suzuki in ICCE

$109.99
Antepartale Lungenreifebestimmung durch Fruchtwasseranalyse

Antepartale Lungenreifebestimmung durch Fruchtwasseranalyse

$69.99
Social Informatics

Social Informatics

$39.99
Migration nach Deutschland und Rckkehr in den Kosovo

Migration nach Deutschland und Rckkehr in den Kosovo

$44.99
Biology of the Arterial Wall

Biology of the Arterial Wall

$129.00
Untersuchungen schneller Lichtbogenverlngerungen fr die Verwendung in Hochspannungsschaltgerten

Untersuchungen schneller Lichtbogenverlngerungen fr die Verwendung in Hochspannungsschaltgerten

$59.99
Noncovariant Gauges in Canonical Formalism

Noncovariant Gauges in Canonical Formalism

$54.99
Das Leben Sein Wesen, sein Ursprung und seine Erhaltung

Das Leben Sein Wesen, sein Ursprung und seine Erhaltung

$59.99
Viewing and Imaging the Solar System

Viewing and Imaging the Solar System

$29.99
Models of Discovery

Models of Discovery

$329.99
Blockchain and Applications

Blockchain and Applications

$219.99
Efficiency of Manufacturing Systems

Efficiency of Manufacturing Systems

$39.99
Russophobia

Russophobia

$39.99
Historical Turning Points in Spanish Economic Growth and Development, 18082008

Historical Turning Points in Spanish Economic Growth and Development, 18082008

$169.99
Gleichzeitige Ungleichzeitigkeiten

Gleichzeitige Ungleichzeitigkeiten

$74.99
Recent Trends in Mechatronics Towards Industry 4.0

Recent Trends in Mechatronics Towards Industry 4.0

$279.99
Biostatistical Applications in Cancer Research

Biostatistical Applications in Cancer Research

$219.99
Translating Popular Film

Translating Popular Film

$39.99
Atlas of Uterine Pathology

Atlas of Uterine Pathology

$89.00
Advances in Materials Science and Implant Orthopedic Surgery

Advances in Materials Science and Implant Orthopedic Surgery

$169.00
Geological Line Selection for the Qinghai-Tibet Railway Engineering

Geological Line Selection for the Qinghai-Tibet Railway Engineering

$109.99
Writing Puerto Rico

Writing Puerto Rico

$49.99
Tribologisches Verhalten der Kolbenbolzenlagerung

Tribologisches Verhalten der Kolbenbolzenlagerung

$49.99
Plant-Based Remediation Processes

Plant-Based Remediation Processes

$169.99
Problems, Philosophy and Politics of Climate Science

Problems, Philosophy and Politics of Climate Science

$119.99
Nondestructive Characterization of Materials IV

Nondestructive Characterization of Materials IV

$219.99
Korpuslinguistik

Korpuslinguistik

$29.99
Arguments in History

Arguments in History

$39.99
Biologische Behandlung organischer Abflle

Biologische Behandlung organischer Abflle

$64.99
Der Kommerzielle Hubschrauberverkehr

Der Kommerzielle Hubschrauberverkehr

$59.99
Wettbewerbsfhigkeit von Tourismusdestinationen

Wettbewerbsfhigkeit von Tourismusdestinationen

$69.99
Crises, Creativity and Innovation

Crises, Creativity and Innovation

$149.99
Research and Education in Robotics - EUROBOT 2009

Research and Education in Robotics - EUROBOT 2009

$39.99
The Application of Econophysics

The Application of Econophysics

$129.00
Practical Modelling of Dynamic Decision Making

Practical Modelling of Dynamic Decision Making

$49.99
previous
next