Mohlo by se vám také líbit

Více informací o knize Formal Description Techniques IX

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 783 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Physics Classical mechanics

• Plný název: Formal Description Techniques IX
• Podnázev: Theory, application and tools
• Autor: R. Gotzhein, J. Bredereke
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 518
• EAN: 9780412794902
• ISBN: 041279490X
• ID: 01386888
• Nakladatelství: Chapman and Hall
• Hmotnost: 2040 g
• Rozměry: 235 × 155 × 30 mm
• Datum vydání: 30. September 1996

Oblíbené z jiného soudku

---

---

---