Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Protocol Specification, Testing and Verification XIV

Name: Protocol Specification, Testing and Verification XIV
Brand: Chapman and Hall
SKU: 05248412
Price: 152.59 EUR
Availability: InStock
Author: Samuel T. Chanson
ISBN: 9780412636400

Samuel T. Chanson

S. T. Vuong

Language

English

Book Hardback

Libristo code: 05248412

Publishers Chapman and Hall, November 1994

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices... Full description

Libristo code: 05248412

373 b

152.59 € VAT included

In stock at our supplier Shipping in 10-13 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Activité physique et sport Gricelda Henry Mejía

Paperback

35.29 €

Tactique Des Assemblées Législatives, Suivie D'un Traité Des Sophismes Politiques, Extr. Des Mss. Par E. Dumont Jeremy Bentham

Paperback

23.49 €

Engenharia industrial aplicada ao serviço Andrea Aguirre Flores

Paperback

38.79 €

FriesenGlut Nane Lenard

MP3

10.29 €

Libros Poeticos y Sapienciales del Antiguo Testamento Samuel Pagan

Adobe ePub DRM

7.39 €

Chininum, Scriptiones Collectae Bureau tot Bevordering van het Kinine...

Hardback

32.39 €

Davina - tome 1 Claire Laperle

Adobe ePub DRM

6.19 €

Carne: Parte Dieci Sky Corgan

Adobe ePub DRM

0.79 €

I killer non vanno in pensione Francesco Recami

Paperback

16.09 €

Le Temps des mitaines : Le Mystère de la chambre morne, tome 1 Clément Loïc

Hardback

14.29 €

Commentar Zum Evangelium Johannis (1857) August Tholuck

Paperback

33.09 €

Desarrollo organizacional en pequenas empresas Mariano García Martínez

Paperback

63.29 €

Álgebra lineal : resolución de sistemas lineales Labraña Barrero

Paperback

39.69 €

El código deontológico y la responsabilidad del mediador Navarro García-Valdecasas

Paperback

18.69 €

Callimaque, Fragments Poetiques: Origines, Iambes, Hecale, Fragments de Poemes Epiques Et Elegiaques, Fragments de Place Incertaine Callimachus

Paperback

47.79 €

Poesies En Patois Limousin. Oeuvres Completes de J. Foucaud, F. Richard, Etc. Partie 1 Francois Richard

Paperback

20.89 €

Personalbeurteilung Hermann J. Liebel

Paperback

49.95 €

Internationalisierung von deutschen Kleinen und Mittleren Unternehmen Sven Röhm

Paperback

27.95 €

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).