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

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Best Price (Coupon Required):
Buy Abstract State Machines, Alloy, B, TLA, VDM, and Z 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
9783319912714
Condition
New
Product Description

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Die induktive Wrmebehandlung

Die induktive Wrmebehandlung

$44.99
Zur Theorie der Flugwege geringsten Zeitbedarfs bei Flgen mit konstanter Machzahl

Zur Theorie der Flugwege geringsten Zeitbedarfs bei Flgen mit konstanter Machzahl

$54.99
The Politics of International Aviation

The Politics of International Aviation

$39.99
Complex Structure and Dynamics of the Heart

Complex Structure and Dynamics of the Heart

$139.99
Die Regeln digitaler Kommunikation

Die Regeln digitaler Kommunikation

$69.99
Somatische und psychische Faktoren der Reifeentwicklung

Somatische und psychische Faktoren der Reifeentwicklung

$59.99
Die Rationalisierung im Deutschen Werkzeugmaschinenbau

Die Rationalisierung im Deutschen Werkzeugmaschinenbau

$74.99
Information Technologies in Biomedicine

Information Technologies in Biomedicine

$329.99
Katalytische Metathese von Alkinen

Katalytische Metathese von Alkinen

$39.99
Computer Vision: Specialized Processors for Real-Time Image Analysis

Computer Vision: Specialized Processors for Real-Time Image Analysis

$109.99
Ultrastructure of the Extraparietal Glands of the Digestive Tract

Ultrastructure of the Extraparietal Glands of the Digestive Tract

$84.99
Die Bedeutung der Knotenart fr die Herabminderung der Fadenbrche

Die Bedeutung der Knotenart fr die Herabminderung der Fadenbrche

$54.99
6+1 Traits of Writing: The Complete Guide: Grades 3 and Up

6+1 Traits of Writing: The Complete Guide: Grades 3 and Up

$22.49
Gender, Participation and Silence in the Language Classroom

Gender, Participation and Silence in the Language Classroom

$109.99
Computer Vision  ECCV 2022

Computer Vision ECCV 2022

$119.99
Die Emailfabrikation Ein Lehr- und Handbuch fr die Emailindustrie

Die Emailfabrikation Ein Lehr- und Handbuch fr die Emailindustrie

$84.99
Online Teaching and Learning in Higher Education

Online Teaching and Learning in Higher Education

$89.00
How Computer Games Help Children Learn

How Computer Games Help Children Learn

$59.99
Buddhismus und Psychotherapie

Buddhismus und Psychotherapie

$84.99
Selected Papers IV

Selected Papers IV

$69.99
The Competitive Advantage of Industrial Districts

The Competitive Advantage of Industrial Districts

$109.99
Computer-Human Interaction Research and Applications

Computer-Human Interaction Research and Applications

$54.99
Decision Criteria and Optimal Inventory Processes

Decision Criteria and Optimal Inventory Processes

$129.00
International Cell Biology 19801981

International Cell Biology 19801981

$54.99
Microsoft SharePoint

Microsoft SharePoint

$39.99
Noninvasive Ventilation in High-Risk Infections and Mass Casualty Events

Noninvasive Ventilation in High-Risk Infections and Mass Casualty Events

$119.00
Campylobacters, Helicobacters, and Related Organisms

Campylobacters, Helicobacters, and Related Organisms

$419.00
Critical Foundations in Young Adult Literature

Critical Foundations in Young Adult Literature

$49.99
Electricity Production from Renewables

Electricity Production from Renewables

$109.99
Corporate Governance

Corporate Governance

$34.99
Encyclopedia of Traditional Chinese Medicines -  Molecular Structures, Pharmacological Activities, N

Encyclopedia of Traditional Chinese Medicines - Molecular Structures, Pharmacological Activities, N

$189.00
Balneologie und medizinische Klimatologie

Balneologie und medizinische Klimatologie

$44.99
Function/Architecture Optimization and Co-Design of Embedded Systems

Function/Architecture Optimization and Co-Design of Embedded Systems

$84.99
Medical Imaging and Augmented Reality

Medical Imaging and Augmented Reality

$54.99
Pfnder-Studien

Pfnder-Studien

$219.99
The Chinese May Fourth Generation and the Irish Literary Revival: Writers and Fighters

The Chinese May Fourth Generation and the Irish Literary Revival: Writers and Fighters

$109.99
Theory of Stochastic Canonical Equations

Theory of Stochastic Canonical Equations

$169.99
Semantics

Semantics

$84.99
Internationale Dienstleistungskompetenzen

Internationale Dienstleistungskompetenzen

$69.99
Giardia as a Foodborne Pathogen

Giardia as a Foodborne Pathogen

$54.99
previous
next