Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Description Techniques IX

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 783 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Physics Classical mechanics

• Celý názov: Formal Description Techniques IX
• Podnázov: Theory, application and tools
• Autor: R. Gotzhein, J. Bredereke
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 518
• EAN: 9780412794902
• ISBN: 041279490X
• ID: 01386888
• Nakladateľ: Chapman and Hall
• Hmotnosť: 2040 g
• Rozmery: 235 × 155 × 30 mm
• Dátum vydania: 30. September 1996

Obľúbené z iného súdka

---

---

---