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

Cell Proliferation and Cytogenesis in the Mouse Hippocampus

Cell Proliferation and Cytogenesis in the Mouse Hippocampus

$109.99
Information and Communication Technology for Intelligent Systems

Information and Communication Technology for Intelligent Systems

$219.99
Multivariate Approximation Theory IV

Multivariate Approximation Theory IV

$39.99
Cystic Tumors of the Pancreas

Cystic Tumors of the Pancreas

$109.99
Reintegrating Fragmented Landscapes

Reintegrating Fragmented Landscapes

$84.99
Interdisciplinary Computing in Java Programming

Interdisciplinary Computing in Java Programming

$129.00
Datenmedizin

Datenmedizin

$79.99
Electronic Government and the Information Systems Perspective

Electronic Government and the Information Systems Perspective

$54.99
Ideals and Reality

Ideals and Reality

$109.99
Design and Implementation of Programming Languages

Design and Implementation of Programming Languages

$44.99
Genome Exploitation

Genome Exploitation

$109.99
Privatization and Alternative Public Sector Reform in Sub-Saharan Africa

Privatization and Alternative Public Sector Reform in Sub-Saharan Africa

$109.99
Sapphire

Sapphire

$219.99
Prostatitis

Prostatitis

$39.99
Management of Zenker and Hypopharyngeal Diverticula

Management of Zenker and Hypopharyngeal Diverticula

$54.99
Das Versuchswesen auf dem Gebiete der Pflanzenphysiologie mit Bezug auf die Landwirthschaft

Das Versuchswesen auf dem Gebiete der Pflanzenphysiologie mit Bezug auf die Landwirthschaft

$84.99
Multislice CT

Multislice CT

$149.00
Neuro-Ophthalmology

Neuro-Ophthalmology

$99.00
Cervico-Occipital Joint (RX, CT)

Cervico-Occipital Joint (RX, CT)

$109.99
Intellectual Capital, Smart Technologies and Digitalization

Intellectual Capital, Smart Technologies and Digitalization

$179.99
Leading Creative Teams

Leading Creative Teams

$29.99
Bilanzielle Bewertung von Finanzinstrumenten

Bilanzielle Bewertung von Finanzinstrumenten

$59.99
The New Superconductors

The New Superconductors

$84.99
The Turning Point in US-Japan Relations

The Turning Point in US-Japan Relations

$69.99
The Sensory Accommodation Framework for Technology

The Sensory Accommodation Framework for Technology

$44.99
Monetre Modelle der Wechselkurserklrung

Monetre Modelle der Wechselkurserklrung

$49.99
Internationalisierung in frhen Unternehmensphasen

Internationalisierung in frhen Unternehmensphasen

$69.99
Cerebral Palsy

Cerebral Palsy

$169.99
The Monte Carlo Method for Semiconductor Device Simulation

The Monte Carlo Method for Semiconductor Device Simulation

$129.00
Fhrung, Interaktion und Identitt

Fhrung, Interaktion und Identitt

$99.00
Einfhrung in die Fertigungstechnik

Einfhrung in die Fertigungstechnik

$49.99
Neural Networks with Model Compression

Neural Networks with Model Compression

$139.00
Infektionskrankheiten

Infektionskrankheiten

$49.99
Chemical Genomics

Chemical Genomics

$129.00
Systems and Control Theory For Power Systems

Systems and Control Theory For Power Systems

$219.99
Metabolic Signaling

Metabolic Signaling

$199.99
PSpice for Digital Communications Engineering

PSpice for Digital Communications Engineering

$34.99
Reference, Truth and Conceptual Schemes

Reference, Truth and Conceptual Schemes

$109.99
Abelian Group Theory

Abelian Group Theory

$44.99
Controlling deutscher TV-Sender

Controlling deutscher TV-Sender

$59.99
previous
next