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

Codes, Curves, and Signals

Codes, Curves, and Signals

$129.00
Die Qualitt qualitativer Daten

Die Qualitt qualitativer Daten

$19.99
Advanced Techniques in Biological Electron Microscopy III

Advanced Techniques in Biological Electron Microscopy III

$109.99
Learn Raspberry Pi Programming with Python

Learn Raspberry Pi Programming with Python

$39.99
Cave Paintings

Cave Paintings

$7.46
Negotiating Identities in Nordic Migrant Narratives

Negotiating Identities in Nordic Migrant Narratives

$169.99
Proceedings of Fifth Doctoral Symposium on Computational Intelligence

Proceedings of Fifth Doctoral Symposium on Computational Intelligence

$169.00
Operators, Semigroups, Algebras and Function Theory

Operators, Semigroups, Algebras and Function Theory

$149.00
Kooperation und Integration  das unvollendete Projekt des Gesundheitssystems

Kooperation und Integration das unvollendete Projekt des Gesundheitssystems

$89.99
Supercomputing

Supercomputing

$54.99
Mental Health Care and National Health Insurance

Mental Health Care and National Health Insurance

$39.99
Workflow Modeling Assistance by Case-based Reasoning

Workflow Modeling Assistance by Case-based Reasoning

$39.99
Tumor Microenvironment

Tumor Microenvironment

$129.00
Environmental Sustainability and Education for Waste Management

Environmental Sustainability and Education for Waste Management

$84.99
Internationalisation, Corporate Preferences and Commercial Policy in Japan

Internationalisation, Corporate Preferences and Commercial Policy in Japan

$109.99
Women and the Practice of Medical Care in Early Modern Europe, 1400-1800

Women and the Practice of Medical Care in Early Modern Europe, 1400-1800

$84.99
Biochemistry of Antimicrobial Action

Biochemistry of Antimicrobial Action

$29.99
Arbeitersport- und Arbeiterkulturbewegung im Ruhrgebiet

Arbeitersport- und Arbeiterkulturbewegung im Ruhrgebiet

$59.99
Security and Environmental Sustainability of Multimodal Transport

Security and Environmental Sustainability of Multimodal Transport

$229.00
Lehraufgabenprogramm fr den Bankkaufmann

Lehraufgabenprogramm fr den Bankkaufmann

$64.99
Building Evidence for Active Ageing Policies

Building Evidence for Active Ageing Policies

$99.00
Reverse Chemical Genetics

Reverse Chemical Genetics

$109.99
Mobile Ad-hoc and Sensor Networks

Mobile Ad-hoc and Sensor Networks

$109.99
The Evolution of Feathers

The Evolution of Feathers

$139.99
Advances in Network-Based Information Systems

Advances in Network-Based Information Systems

$279.99
European journal of biochemistry

European journal of biochemistry

$54.99
11 der Infektiologie auf Intensivstationen

11 der Infektiologie auf Intensivstationen

$54.99
Ethnic Politics, Regime Support and Conflict in Central and Eastern Europe

Ethnic Politics, Regime Support and Conflict in Central and Eastern Europe

$39.99
Current Achievements, Challenges and Digital Chances of Knowledge Based Economy

Current Achievements, Challenges and Digital Chances of Knowledge Based Economy

$219.99
Pichia Protocols

Pichia Protocols

$84.99
Kommunikation und Verstndigung

Kommunikation und Verstndigung

$59.99
Digitisation and Low-Carbon Energy Transitions

Digitisation and Low-Carbon Energy Transitions

$59.99
Spectral Theory of Canonical Differential Systems. Method of Operator Identities

Spectral Theory of Canonical Differential Systems. Method of Operator Identities

$109.99
Rcknahme- und Entsorgungspflichten in der Abfallwirtschaft

Rcknahme- und Entsorgungspflichten in der Abfallwirtschaft

$49.99
Managing and Developing Communities, Festivals and Events

Managing and Developing Communities, Festivals and Events

$169.99
Development in India

Development in India

$84.99
Das S-Netzwerk und sein wirtschaftliches Potenzial

Das S-Netzwerk und sein wirtschaftliches Potenzial

$64.99
Contemporary Combinatorics

Contemporary Combinatorics

$99.99
Hypercomplex Numbers

Hypercomplex Numbers

$139.99
Provenance and Annotation of Data and Processes

Provenance and Annotation of Data and Processes

$54.99
previous
next