Zobacz książki o podobnej tematyce

Więcej informacji o Formal Description Techniques IX

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 903 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Physics Classical mechanics

• Pełny tytuł: Formal Description Techniques IX
• Podtytuł: Theory, application and tools
• Autor: R. Gotzhein, J. Bredereke
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 518
• EAN: 9780412794902
• ISBN: 041279490X
• ID: 01386888
• Wydawca: Chapman and Hall
• Waga: 2040 g
• Wymiary: 235 × 155 × 30 mm
• Data wydania: 30. September 1996

Ulubione w innej kategorii

---

---

---