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

Formal Description Techniques and Protocol Specification, Testing and Verification

Best Price (Coupon Required):
Buy Formal Description Techniques and Protocol Specification, Testing and Verification for $152.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: $169.00 - $169.00
BEST PRICE

Single Product Purchase

$152.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
$169.00 $169.00

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

Product Details

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

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Malignant Pleural Mesothelioma

Malignant Pleural Mesothelioma

$79.99
Imaging of Bowel, Colon and Rectum

Imaging of Bowel, Colon and Rectum

$39.99
Zwischen sozialer Verantwortung und konomischer Vernunft

Zwischen sozialer Verantwortung und konomischer Vernunft

$49.99
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

$54.99
Imaging in Treatment Planning for Sinonasal Diseases

Imaging in Treatment Planning for Sinonasal Diseases

$179.00
Orientierungen bei Oberstufenschlern

Orientierungen bei Oberstufenschlern

$59.99
A technical history of the Rio Tinto mines: some notes on exploitation from pre-Phoenician times to

A technical history of the Rio Tinto mines: some notes on exploitation from pre-Phoenician times to

$129.00
Bread and Roses

Bread and Roses

$49.99
Sensing Technology: Current Status and Future Trends III

Sensing Technology: Current Status and Future Trends III

$109.99
Stoffliche Nutzung nachwachsender Rohstoffe

Stoffliche Nutzung nachwachsender Rohstoffe

$64.99
Kinder aus zugewanderten Familien in Frderschulen

Kinder aus zugewanderten Familien in Frderschulen

$59.99
The Discourse of Business Meetings

The Discourse of Business Meetings

$109.99
The Politics of Adapting to Climate Change

The Politics of Adapting to Climate Change

$49.99
Late Treatment Effects and Cancer Survivor Care in the Young

Late Treatment Effects and Cancer Survivor Care in the Young

$189.00
The Mistake by Elle Kennedy

The Mistake by Elle Kennedy

$16.99
Satisfying Reason

Satisfying Reason

$119.00
Krankheiten der Verdauungsorgane

Krankheiten der Verdauungsorgane

$44.99
Molecular Breeding of Forage and Turf

Molecular Breeding of Forage and Turf

$169.00
Erkrankungen des zentralen und peripheren Nervensystems / Strungen der Blutgerinnung und Fibrinolys

Erkrankungen des zentralen und peripheren Nervensystems / Strungen der Blutgerinnung und Fibrinolys

$84.99
Impact of Cardiac Surgery on the Quality of Life

Impact of Cardiac Surgery on the Quality of Life

$39.99
Interpolation Theory, Systems Theory and Related Topics

Interpolation Theory, Systems Theory and Related Topics

$84.99
Clinical Oncology

Clinical Oncology

$54.99
Innovationslobbying

Innovationslobbying

$49.99
Die neuzeitlichen Textilveredlungs-Verfahren der Kunstfasern

Die neuzeitlichen Textilveredlungs-Verfahren der Kunstfasern

$59.99
Local Governance, Economic Development and Institutions

Local Governance, Economic Development and Institutions

$54.99
Familien im Kinderschutz  Resilienz- und Risikofaktoren

Familien im Kinderschutz Resilienz- und Risikofaktoren

$19.99
Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

$449.99
Presentations, Demos, and Training Sessions

Presentations, Demos, and Training Sessions

$14.99
Dynamics of Crystal Surfaces and Interfaces

Dynamics of Crystal Surfaces and Interfaces

$129.00
High-Performance Computing and Networking

High-Performance Computing and Networking

$39.99
MRI of Fetal and Maternal Diseases in Pregnancy

MRI of Fetal and Maternal Diseases in Pregnancy

$199.99
Cancer as an Environmental Disease

Cancer as an Environmental Disease

$169.99
Innovations in Smart Cities Applications Volume 7

Innovations in Smart Cities Applications Volume 7

$199.99
Measurement and Control in Liquid Metal Processing

Measurement and Control in Liquid Metal Processing

$129.00
Digitalisierung im stationren Reisevertrieb

Digitalisierung im stationren Reisevertrieb

$84.99
The Different Faces of Autonomy

The Different Faces of Autonomy

$109.99
History, Philosophy and Science Teaching: A Personal Story

History, Philosophy and Science Teaching: A Personal Story

$119.00
Vergleich der Ungleichmigkeit von Baumwoll- und Zellwollgarnen, die nach dem Dreizylinder- und nac

Vergleich der Ungleichmigkeit von Baumwoll- und Zellwollgarnen, die nach dem Dreizylinder- und nac

$59.99
Biotechnologie in Cartoons

Biotechnologie in Cartoons

$19.99
Inter-institutionelle Kooperation von EU und NATO

Inter-institutionelle Kooperation von EU und NATO

$59.99
previous
next