Code: 05258416

Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Springer-Verlag New York Inc.
SKU: 05258416
Price: 205.28 EUR
Availability: InStock
Author: Atsushi Togashi
ISBN: 9781475752601

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

Language: English
Binding: Paperback
Number of pages: 550
Publisher: Springer-Verlag New York Inc., 2013
More about this

205.28 €

RRP: 222.35 €

You save 17.07 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Flight School
14.02 € -28 %
Buy
Demon Days
19.87 € -25 %
Pre-order
Rocks and Minerals
10.69 €
Buy
Learn to Read Russian in 5 Days
12.10 € -1 %
Buy
Modern Learning Ecosystem
38.14 €
Buy
Mandala Coloring Book: Coloring Books for Stress Relieving Mandala Designs for Adults Relaxation
8.97 € -6 %
Buy
Ulcus Pepticum Und H2-Blocker
118.88 € -4 %
Buy
Vier Freunde - Abenteuer in München
10.79 €
Buy
Teachings from the American Earth
19.87 € -18 %
Buy
Sanctifying Interpretation
17.35 € -7 %
Buy
Trials of Christians in the Middle Ages
15.53 €
Buy
2008 The Year in Darts
23.81 € -1 %
Buy
Nuremberg and Vietnam
41.67 € -2 %
Buy
Lives of Victorian Political Figures, Part II, Volume 1
58.83 €
Buy
Guide to Global Aerosol Models
48.03 € -7 %
Buy
Enduring Violence
39.45 €
Buy
Inside China's Legal System
113.53 € -10 %
Buy
Une autre vie après la vie
20.38 €
Buy
These Tattered Wing: Prose & Poetry of a Fractured Girl
8.87 € -7 %
Buy
Theory for Corporate Leadership Development
19.27 €
Buy
Standard English and the Politics of Language
109.09 €
Buy
Violence and Social Orders
114.14 €
Buy
Estado e Propagação do Arundo donax no vale do Caxemira
31.98 € -14 %
Buy
Alfàbia
10.18 €
Buy
Humanitarian Intervention and the Responsibility to Protect
73.67 €
Buy
Conduits, Culverts, and Pipes
46.21 € -2 %
Buy
Designing Early Literacy Programs
43.29 €
Buy
Ethnographic Artifacts
31.18 €
Buy
Cuerpo Facultativo Superior de la de la Comunidad Autónoma de las Illes Balears. Temario de Materias
56.31 €
Buy
Preaching in Judaism and Christianity
133.72 € -4 %
Buy
Hardware Component Modeling
102.73 € -7 %
Buy
Essentials Of Health Information Systems And Technology
111.92 €
Buy
Amazing Machines: First Numbers
8.37 € -25 %
Buy
Gromov's Compactness Theorem for Pseudo-holomorphic Curves
51.56 € -7 %
Buy
Conflictos armados, desplazamientos y acceso a la sanidad
29.36 € -14 %
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

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.

Book details

Book category Books in English Technology, engineering, agriculture Other technologies & applied sciences Applied optics

205.28 €

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: Paperback
Number of pages: 550
EAN: 9781475752601
ISBN: 1475752601
ID: 05258416
Publisher: Springer-Verlag New York Inc.
Weight: 860 g
Dimensions: 235 × 155 × 31 mm
Date of publishing: 11. January 2013