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

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

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

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic integration, relational databases, and service-oriented computing.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Polymer Processing and Properties

$39.99

Planung und Gestaltung einer Positivfabrik als Beitrag fr eine absolute Nachhaltigkeit

$84.99

Problems of Collapse and Numerical Relativity

$169.99

Automated Reasoning

$109.99

Die Luft-Fahrzeug-Gesellschaft m. b. H

$54.99

Big Data Analytics

$54.99

Theatre and Human Rights after 1945

$99.00

Microbiome of Finfish and Shellfish

$219.99

Allgemeiner Teil des Brgerlichen Rechts

$169.99

Summer Bridge Activities, Grades K - 1: Bridging Grades Kindergarten to First by Summer Bridge Activities

$12.99

Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems

$189.00

Flexible Exchange Rates and Stabilization Policy

$44.99

Comparing Political Communication across Time and Space

$54.99

Epistemologies of African Conflicts

$39.99

Ultraviolet Stellar Spectra and Related Ground-Based Observations

$39.99

Uveitis

$129.99

Mycobacteria Protocols

$219.99

Ovulation

$39.99

Computer Vision ACCV 2016 Workshops

$54.99

Animal Models of Epilepsy

$109.99

Space-Filling Curves

$99.99

The State, Technology and Industrialization in Africa

$109.99

Electrodiagnostic Medicine

$169.99

Deterministic and Stochastic Error Bounds in Numerical Analysis

$29.99

Lectures on Visco-Plastic Fluid Mechanics

$169.99

Social Behavior and Skills in Children

$39.99

Stakeholding and New labour

$54.99

Chemiker-Kalender

$99.00

Efficiency Instead of Justice?

$109.99

Time-Dependent Reactivity of Species in Condensed Media

$109.99

Reliability and Safety Analyses under Fuzziness

$129.00

Human Rights Literacies

$109.99

Cervical Cancer

$179.99

Epigenetics of Aging

$129.00

Arctic-Subarctic Ocean Fluxes

$219.99

Konzernabschlsse

$49.99

Trumponomics

$14.99

Handbook of Human and Planetary Health

$109.99

Essential Excel 2019

$79.99

Islamischer Fundamentalismus vor den Toren Europas

$69.99