Cantitate/Preț
Produs
Total produse
Vezi coșul
Protocol Specification, Testing and Verification XV de Piotr Dembinski

Protocol Specification, Testing and Verification XV

Editat de Piotr Dembinski, Marek Sredniawa
en Limba Engleză Hardback – 30 noi 1995
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.
Citește tot Restrânge

Preț: 120961 lei

Preț vechi: 147513 lei
-18%

Puncte Express: 1814

Carte tipărită la comandă

Livrare economică 14-28 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780412716201
ISBN-10: 0412716208
Pagini: 455
Ilustrații: XI, 455 p.
Dimensiuni: 160 x 241 x 30 mm
Greutate: 0.87 kg
Ediția:1995 edition
Editura: Springer Us
Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.