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

China Livestreaming E-commerce Industry Insights

$64.99

Frhgeburt und Frhgeborenes

$89.99

Intelligent Fractional Order Systems and Control

$169.99

Hydrogen-based Autonomous Power Systems

$109.99

The Postcolonial Short Story

$54.99

Applied Chemical Process Design

$119.00

Blue Hat, Green Hat by Sandra Boynton

$6.99

Indigenous Peoples Voices Grades 6-8

$68.00

Recent Advancements in Tourism Business, Technology and Social Sciences

$329.99

Food and Identity in Nineteenth and Twentieth Century Ghana

$129.99

Schlieren and Shadowgraph Techniques

$219.99

The Chromosome Complement

$54.99

Cases of Mathematics Professional Development in East Asian Countries

$109.99

Turbulence in Space Plasmas

$54.99

Diseases of the Brain, Head and Neck, Spine 20202023

$59.99

Style in British Television Drama

$54.99

Regulating Municipal Water Supply Concessions

$39.99

Head and Neck Tumor Segmentation

$54.99

Weg vom l

$24.99

Nanomaterials and Nanocomposites, Nanostructures, and Their Applications

$179.99

Synthesis of Heterocycles in Contemporary Medicinal Chemistry

$259.00

Stereo Operative Atlas of Micro Ear Surgery

$139.99

Methods for Affinity-Based Separations of Enzymes and Proteins

$54.99

Der Vorrichtungsbau

$44.99

Test Methods for Explosives

$279.99

Statistical Methods and Applications in Forestry and Environmental Sciences

$109.99

Sonochemical Production of Nanomaterials

$54.99

Beastly

$5.24

The Spirit of Entrepreneurship

$54.99

Finanzierung und Besteuerung von Start-up-Unternehmen

$39.99

Precancerous Lesions of the Gynecologic Tract

$69.99

Latin American Science Fiction

$109.99

European Society in the Eighteenth Century

$74.99

The Economics of Public Services

$169.99

Unternehmensbernahmen durch Frauen

$59.99

Einfhrung in die Quantentheorie

$69.95

The Inferior Colliculus

$259.00

Cell Biology and Translational Medicine, Volume 2

$109.99

Boenigk, Biologie

$69.99

Reengineering im Versicherungsmarketing

$59.99