Muutke küpsiste eelistusi

Formal Description Techniques IX: Theory, application and tools 1996 ed. [Kõva köide]

Edited by , Edited by
Teised raamatud teemal:
  • Kõva köide
  • Hind: 280,32 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 329,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
Formal Description Techniques IX: Theory, application and tools 1996 ed.Suurem pilt
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9780412794902.html
Märksõnad:
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.