Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Springer, Berlin
SKU: 02175355
Price: 81495 HUF
Availability: InStock
Author: Stan Budkowski
ISBN: 9781475752625

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

Stan Budkowski

Ana Cavalli

Elie Najm

Language

English

Book Paperback

Libristo code: 02175355

Publishers Springer, Berlin, March 2013

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal... Full description

Libristo code: 02175355

563 b

81 495 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Lebensträume verwirklichen Susanne Marx

Paperback

2 806 Ft

Projekt Spaceship Christian Zschoch

Paperback

4 093 Ft

Lehrbuch der Softwaretechnik Helmut Balzert

Hardback

28 231 Ft

Raskolnikoff Heinrich Sutermeister

Paperback

3 313 Ft

Das Hausrecht und die Berechtigung zu seiner Ausübung. Wilbert Engeln

Paperback

18 740 Ft

Coffret Les Anges de l'Abondance Doreen Virtue

Hardback

10 417 Ft

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.