Breaking News!
Up to 30% Off Nike Footwear

Structured Object-Oriented Formal Language and Method

Best Price (Coupon Required):
Buy Structured Object-Oriented Formal Language and Method 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
9783030774745
Condition
New
Product Description

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification. Due to the Corona pandemic this event was held virtually.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Diagnosis and Management of Marfan Syndrome

Diagnosis and Management of Marfan Syndrome

$99.00
Netherlands Yearbook of International Law 2018

Netherlands Yearbook of International Law 2018

$84.99
The Shaggy Steed of Physics

The Shaggy Steed of Physics

$54.99
Integrierte Informationsverarbeitung 1

Integrierte Informationsverarbeitung 1

$29.99
Hybrid Intelligent Systems

Hybrid Intelligent Systems

$169.00
Chemical Kinetics and Inorganic Reaction Mechanisms

Chemical Kinetics and Inorganic Reaction Mechanisms

$169.99
Radioecological Techniques

Radioecological Techniques

$39.99
Strasburger  Lehrbuch der Pflanzenwissenschaften

Strasburger Lehrbuch der Pflanzenwissenschaften

$69.99
Convolution Operators and Factorization of Almost Periodic Matrix Functions

Convolution Operators and Factorization of Almost Periodic Matrix Functions

$109.99
Two Friends (Hardcover)

Two Friends (Hardcover)

$14.24
AI 2004: Advances in Artificial Intelligence

AI 2004: Advances in Artificial Intelligence

$149.00
Graphene Nanoelectronics

Graphene Nanoelectronics

$169.99
English Translations of Korczaks Childrens Fiction

English Translations of Korczaks Childrens Fiction

$99.99
Target Detection and Tracking by Bionanosensor Networks

Target Detection and Tracking by Bionanosensor Networks

$54.99
Infective Endocarditis and Other Intravascular Infections

Infective Endocarditis and Other Intravascular Infections

$84.99
Patterns of News Consumption in a High-Choice Media Environment

Patterns of News Consumption in a High-Choice Media Environment

$129.99
Global Change and Integrated Coastal Management

Global Change and Integrated Coastal Management

$169.99
Ermittlung der Laufeigenschaften (Vergiebarkeit) von Bronze und Rotgu mittels der Schneider-Giesp

Ermittlung der Laufeigenschaften (Vergiebarkeit) von Bronze und Rotgu mittels der Schneider-Giesp

$84.99
Sport in der Schwangerschaft

Sport in der Schwangerschaft

$44.99
Secure Data Management

Secure Data Management

$39.99
Biotechnology for Pulp and Paper Processing

Biotechnology for Pulp and Paper Processing

$129.00
Tata Memorial Centre Textbook of Oncology

Tata Memorial Centre Textbook of Oncology

$219.99
Micropropagation of Woody Trees and Fruits

Micropropagation of Woody Trees and Fruits

$169.00
Iron-Carbene Complexes

Iron-Carbene Complexes

$109.99
Promoting Positive Youth Development

Promoting Positive Youth Development

$84.99
Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment

$39.99
Incomplete Information and Heterogeneous Beliefs in Continuous-time Finance

Incomplete Information and Heterogeneous Beliefs in Continuous-time Finance

$219.99
Applying Behavioural Science to the Private Sector

Applying Behavioural Science to the Private Sector

$69.99
Verhalten bei Gewalt  Selbstschutz fr Erwachsene

Verhalten bei Gewalt Selbstschutz fr Erwachsene

$29.99
Germ Cell Tumours V

Germ Cell Tumours V

$39.99
Personalpsychologie

Personalpsychologie

$19.99
Aufklrung und Skepsis

Aufklrung und Skepsis

$59.99
Hypotensive Peptides

Hypotensive Peptides

$109.99
Konzepte zur Sicherheit in der Ansthesie

Konzepte zur Sicherheit in der Ansthesie

$69.99
Revisiting the Entrepreneurial Mind

Revisiting the Entrepreneurial Mind

$199.99
Reflecting Telescope Optics II

Reflecting Telescope Optics II

$249.99
Metipranolol

Metipranolol

$54.99
Interleukin 12: Antitumor Activity and Immunotherapeutic Potential in Oncology

Interleukin 12: Antitumor Activity and Immunotherapeutic Potential in Oncology

$39.99
Technische Chemie fr Maschinenbauschulen

Technische Chemie fr Maschinenbauschulen

$44.99
Petri Nets: Central Models and Their Properties

Petri Nets: Central Models and Their Properties

$54.99
previous
next