Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Formal Description Techniques and Protocol Specification, Testing and Verification Stan Budkowski

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII 98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing

Szerző: Stan Budkowski, Ana Cavalli, Elie Najm
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
76 883 Ft
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal...

Információk a könyvről

Szerző
Stan Budkowski, Ana Cavalli, Elie Najm
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
472
EAN
9781475752625
ISBN
1475752628
Enbook ID
02175355
Kiadó
Springer, Berlin
Súly
735
Méretek
155 x 235 x 25

Teljes leírás

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. §Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. §Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

Érdekelheti

Reason Why ...

Robert Kemp Philip
10 334 Ft

Upon a White Horse

Peter Ross
8 558 Ft

We'll Meet Again

Anton Du Beke
3 582 Ft

Hydrological Drought

Lena Tallaksen
64 729 Ft

The Tragedy Of Armenia: A Brief Study And Interpretation (1918)

Bertha S. Papazian
8 572 Ft

Digital Witness

Sam Dubberley
66 262 Ft

Estimation of CMOD in Concrete using Optical Fiber Sensors

Sobha Bathalapalli
13 418 Ft

The American Candidate: A Jayne Sinclair Genealogical Mystery

M J Lee
5 187 Ft

How To Get Famous Fast

Ann Atkin
3 797 Ft

Transpacific Community

Richard Jean So
27 509 Ft

Accidental Species

Henry Gee
11 499 Ft

Lactic Acid Bacteria: Genetics, Metabolism and Applications

Roland J. Siezen
57 690 Ft

Just So Stories

Rudyard Kipling
7 321 Ft

Criminology

Emma Hale
22 860 Ft

Tenth Planet: Oblivion

Dean Wesley Smith
6 142 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Lebensträume verwirklichen

Susanne Marx
2 757 Ft

Projekt Spaceship

Christian Zschoch
4 021 Ft

Lehrbuch der Softwaretechnik

Helmut Balzert
26 487 Ft

Raskolnikoff

Heinrich Sutermeister
3 255 Ft

Das Hausrecht und die Berechtigung zu seiner Ausübung.

Wilbert Engeln
18 413 Ft

Coffret Les Anges de l'Abondance

Doreen Virtue
10 235 Ft