Muutke küpsiste eelistusi

Protocol Specification, Testing and Verification XV 1995 ed. [Kõva köide]

Edited by , Edited by
Teised raamatud teemal:
  • Kõva köide
  • Hind: 187,67 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 220,79 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Protocol Specification, Testing and Verification XV 1995 ed.Suurem pilt
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9780412716201.html
Märksõnad:
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.
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.