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
9783030575052
Condition
New
Product Description

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.

Available Colors
Available Sizes
1 Offer Price Range: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$59.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
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

Dynamical and Chemical Coupling Between the Neutral and Ionized Atmosphere

$219.99

Der Theodolit im Unterricht

$49.99

The Fallopian Tubes

$39.99

Entertainment Computing - ICEC 2004

$109.99

Hezbollah, Islamist Politics, and International Society

$54.99

Jewish Identity in Multicultural Australia

$139.99

Critical Infrastructure Protection XVII

$89.99

Neue Systeme und Methoden zur Steuerung mittelgroer Unternehmen

$59.99

Molecular Diagnosis of Cancer

$89.00

Experimentelle und kritische Beitrge zur Neubearbeitung der Vereinbarungen zur einheitlichen Unters

$44.99

Document Analysis and Recognition - ICDAR 2023

$119.99

Freie Advocatur

$74.99

Smart Home Automation with Linux and Raspberry Pi

$49.99

Arbeitsschutz im Bauwesen mit RFID

$69.99

Independent Variables for Optical Surfacing Systems

$109.99

Institutional Roadblocks to Human Rights Mainstreaming in the FAO

$54.99

Actinides and the Environment

$219.99

Science, Museums and Collecting the Indigenous Dead in Colonial Australia

$139.99

Elementary Functions

$59.99

Similarity Search and Applications

$84.99

Target Organ Toxicology in Caenorhabditis elegans

$169.99

The Bad Beginning: Book the First (A Series of Unfortunate Events) by Lemony Snicket

$15.99

Wave Propagation and Radiation in Gyrotropic and Anisotropic Media

$169.99

Society 5.0: Cyberspace for Advanced Human-Centered Society

$199.99

Mastering Salesforce DevOps

$54.99

Atlas of Robotic Urologic Surgery

$219.99

Framing the Holocaust in Polish Aftermath Cinema

$129.99

Aktuelle Probleme der Hmatologie und internistischen Onkologie

$69.99

Imperialism and Capitalism, Volume II

$119.99

Der Einfluss von Wechselkosten auf die Kundenbindung

$69.99

Nachhaltige Wohnungswirtschaft in der Schweiz

$59.99

Risk Analysis of Six Potentially Hazardous Industrial Objects in the Rijnmond Area

$329.99

Non-Uniform Random Variate Generation

$159.99

Extra-Intracranial Vascular Anastomoses Microsurgery at the Edge of the Tentorium

$109.99

Industrial Dynamics in China and India

$39.99

Wood Additive Technologies

$69.99

Die Evolution von Gut und Bse in Marktwirtschaften

$59.99

Bicomplex Holomorphic Functions

$44.99

Dermatologie Venerologie

$64.99

rztliches Handbchlein fr hygienisch-ditetische, hydrotherapeutische mechanische und andere Veror

$59.99