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
9780412820601
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

Klinische Tests und Untersuchung in Orthopdie und Unfallchirurgie

Klinische Tests und Untersuchung in Orthopdie und Unfallchirurgie

$59.99
Models for Modalities

Models for Modalities

$169.99
The Politics of Emerging Strategic Technologies

The Politics of Emerging Strategic Technologies

$39.99
Abstract Convexity and Global Optimization

Abstract Convexity and Global Optimization

$169.99
Methicillin-Resistant Staphylococcus aureus (MRSA) Protocols

Methicillin-Resistant Staphylococcus aureus (MRSA) Protocols

$89.00
Strategic Blueprint for Enterprise Analytics

Strategic Blueprint for Enterprise Analytics

$169.99
Advances in Cryptology  CRYPTO 2022

Advances in Cryptology CRYPTO 2022

$54.99
Hormones in Human Amniotic Fluid

Hormones in Human Amniotic Fluid

$54.99
Automatic Control of Atmospheric and Space Flight Vehicles

Automatic Control of Atmospheric and Space Flight Vehicles

$119.99
Bildungslandschaften

Bildungslandschaften

$44.99
Financial Regulation in the EU

Financial Regulation in the EU

$49.99
Connected Business

Connected Business

$24.99
Bildung und Wissensgesellschaft

Bildung und Wissensgesellschaft

$64.99
Turbo-Pascal griffbereit

Turbo-Pascal griffbereit

$59.99
Women and Empowerment

Women and Empowerment

$109.99
Geometric Harmonic Analysis III

Geometric Harmonic Analysis III

$219.99
System Lifecycle Management

System Lifecycle Management

$109.99
Meteorologisch-optische Erscheinungen

Meteorologisch-optische Erscheinungen

$59.99
Big Data in Complex Systems

Big Data in Complex Systems

$109.99
Methoden und Probleme der Dynamischen Meteorologie

Methoden und Probleme der Dynamischen Meteorologie

$59.99
Modular Curves and Abelian Varieties

Modular Curves and Abelian Varieties

$109.99
Bad History and the Logics of Blockbuster Cinema

Bad History and the Logics of Blockbuster Cinema

$54.99
Medien im Marketing

Medien im Marketing

$79.99
Open Source Enterprise Software

Open Source Enterprise Software

$49.99
High-Performance Ferrous Alloys

High-Performance Ferrous Alloys

$84.99
South Africa's Post-Apartheid Military

South Africa's Post-Apartheid Military

$109.99
Quantitative Structure-Activity Relationships

Quantitative Structure-Activity Relationships

$59.99
Collaborative Computing: Networking, Applications and Worksharing

Collaborative Computing: Networking, Applications and Worksharing

$84.99
Stabilization, Tracking and Formation Control of Autonomous Marine Vessels

Stabilization, Tracking and Formation Control of Autonomous Marine Vessels

$179.99
Jahresabschlu und Information

Jahresabschlu und Information

$59.99
Plan Your Financial Future

Plan Your Financial Future

$39.99
Food Powders Properties and Characterization

Food Powders Properties and Characterization

$139.99
Wissen und Wissenssurrogate

Wissen und Wissenssurrogate

$59.99
Fehlerkultur in Organisationen

Fehlerkultur in Organisationen

$49.99
Current Topics in Microbiology and Immunology

Current Topics in Microbiology and Immunology

$109.99
Die psychosoziale Situation von Auslndern in der Bundesrepublik

Die psychosoziale Situation von Auslndern in der Bundesrepublik

$59.99
Horticulture  New Technologies and Applications

Horticulture New Technologies and Applications

$39.99
Intensivtraining Projektmanagement

Intensivtraining Projektmanagement

$29.99
Policies for Distributed Systems and Networks

Policies for Distributed Systems and Networks

$39.99
Selbstbild und Tuschung

Selbstbild und Tuschung

$27.99
previous
next