Code: 01983571

Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Chapman and Hall
SKU: 01983571
Price: 205.74 EUR
Availability: InStock
Author: Atsushi Togashi
ISBN: 9780412820601

by Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, and Logic).

Language: English
Binding: Hardback
Number of pages: 550
Publisher: Chapman and Hall, 1997
More about this

205.74 €

RRP: 222.86 €

You save 17.11 €

In stock at our supplier
Shipping in 10 - 13 days

Add to wishlist

Inazuma Eleven 8
12.33 €
Buy
Очаровательный кишечник. Как самый могущественный орган управляет нами
13.14 € -12 %
Buy
Polin: Studies in Polish Jewry Volume 21
52.29 €
Buy
Mickey 17
12.13 € -2 %
Buy
Cosmos - A Spacetime Odyssey: Season One
26.49 € -10 %
Buy
Read with Oxford: Stage 6: Rhyme Slime
8.59 €
Buy
German Aces of World War I: The Pictorial Record
42.37 € -25 %
Buy
Before Dawn
10.41 € -15 %
Buy
Time Enough to Live
12.74 € -25 %
Buy
Friedrich Nietzsche: Truth and Affirmation
12.13 € -7 %
Buy
Game Theory
16.18 € -25 %
Buy
Zeugnisse fuer die Stellung des Menschen in der Natur.
16.07 € -9 %
Buy
Hartmann von Aue/Chretien de Troyes
16.18 € -10 %
Buy
Vidrieros
12.43 €
Buy
Asperger's on the Inside
23.05 € -25 %
Buy
Benchmark Series: Microsoft Excel 2019 Level 2
120.06 € -54 %
Buy
Polybiou Megalopolitani Historiarum Quidquid Superest V6 (1792)
48.14 € -1 %
Buy
Auswirkung von Feindbildern auf politische Entwicklungen am Beispiel der Terroranschlage vom 11. September in Amerika
16.18 € -10 %
Buy
Empathie
20.52 € -11 %
Buy
Asterisk Killer Sudoku: 200 Medium 9x9 Killer Extra Region Sudoku
13.54 € -9 %
Buy
CUADERNO DE EJERCICIOS DE EXPRESION GRAFICA
32.26 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Description Techniques and Protocol Specification, Testing and Verification

Book details
Synopsis
Trending among others

You get 498 loyalty points

Book synopsis

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, and Logic).

Book details

Book category Books in English Computing & information technology Computer networking & communications Networking standards & protocols

205.74 €

Full title: Formal Description Techniques and Protocol Specification, Testing and Verification
Subtitle: FORTE X / PSTV XVII 97
Author: Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
Language: English
Binding: Hardback
Number of pages: 550
EAN: 9780412820601
ISBN: 0412820609
ID: 01983571
Publisher: Chapman and Hall
Weight: 2170 g
Dimensions: 234 × 156 × 35 mm
Date of publishing: 01. October 1997