Breaking News!
Up to 30% Off Nike Footwear

Formal Description Techniques IX

Best Price (Coupon Required):
Buy Formal Description Techniques IX for $233.10 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: $259.00 - $259.00
BEST PRICE

Single Product Purchase

$233.10
@ 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
$259.00 $259.00

10% OFF
This deals requires coupon
$233.10
See Site In stock Visit Store

Product Details

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

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Die Frhdiagnose der Bleivergiftung

Die Frhdiagnose der Bleivergiftung

$59.99
Der Markentransfer

Der Markentransfer

$59.99
Solid Edge 2020 fr Fortgeschrittene  kurz und bndig

Solid Edge 2020 fr Fortgeschrittene kurz und bndig

$19.99
Innovative kommunale Wirtschaftsfrderung

Innovative kommunale Wirtschaftsfrderung

$44.99
Der Messecoach

Der Messecoach

$39.99
Radikaler Antisemitismus

Radikaler Antisemitismus

$39.99
National Geographic Kids Readers: Wildfires

National Geographic Kids Readers: Wildfires

$3.71
Linear Algebra and Linear Models

Linear Algebra and Linear Models

$74.99
Democracy and Crisis

Democracy and Crisis

$54.99
Diet, Nutrition, and Fetal Programming

Diet, Nutrition, and Fetal Programming

$199.99
Informationssysteme in der Unternehmung

Informationssysteme in der Unternehmung

$54.99
Nonlinear Deformable-body Dynamics

Nonlinear Deformable-body Dynamics

$149.00
Traffic Congestion Control by PDE Backstepping

Traffic Congestion Control by PDE Backstepping

$119.00
Purpose

Purpose

$17.99
Economic Innovations in Public Utility Regulation

Economic Innovations in Public Utility Regulation

$129.00
Similarity Problems and Completely Bounded Maps

Similarity Problems and Completely Bounded Maps

$44.99
Soviet Power

Soviet Power

$44.99
Inert Gases

Inert Gases

$109.99
Digital Da Vinci

Digital Da Vinci

$54.99
Stochastic Processes in Dynamics

Stochastic Processes in Dynamics

$169.99
The Mathematics of Paul Erds I

The Mathematics of Paul Erds I

$129.00
The 2012 French Presidential Elections

The 2012 French Presidential Elections

$39.99
Smart Soft-Matter Nanotubes

Smart Soft-Matter Nanotubes

$169.99
Starr-plastische Traglastberechnungen mittels der Methode der Finiten Elemente

Starr-plastische Traglastberechnungen mittels der Methode der Finiten Elemente

$49.99
Metagraphs and Their Applications

Metagraphs and Their Applications

$39.99
Innovation, Profit and the Common Good in Higher Education

Innovation, Profit and the Common Good in Higher Education

$54.99
Anweisung zur Bekampfung der Cholera

Anweisung zur Bekampfung der Cholera

$59.99
Die Digitalisierung von Fernsehprogrammen

Die Digitalisierung von Fernsehprogrammen

$74.99
Michel Foucault

Michel Foucault

$17.99
Mathematics and Computing

Mathematics and Computing

$169.99
Future Stresses for Energy Resources

Future Stresses for Energy Resources

$39.99
Kriterienorientierte Inhaltsanalyse von Zeugenaussagen

Kriterienorientierte Inhaltsanalyse von Zeugenaussagen

$69.99
Progress in Nano-Electro-Optics VI

Progress in Nano-Electro-Optics VI

$109.99
Advances in Complex Data Modeling and Computational Methods in Statistics

Advances in Complex Data Modeling and Computational Methods in Statistics

$39.99
Cultural, Ethnic, and Political Nationalism in Contemporary Taiwan

Cultural, Ethnic, and Political Nationalism in Contemporary Taiwan

$54.99
Finanzmathematik

Finanzmathematik

$59.99
Introduction of a New Conceptual Framework for Government Debt Management

Introduction of a New Conceptual Framework for Government Debt Management

$54.99
CNC Programming for Machining

CNC Programming for Machining

$179.99
Crystal Growth in Science and Technology

Crystal Growth in Science and Technology

$39.99
Optimal Control of Complex Structures

Optimal Control of Complex Structures

$39.99
previous
next