Zobacz książki o podobnej tematyce

Więcej informacji o Formal Methods: State of the Art and New Directions

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

Za ten zakup dostaniesz 304 punkty

Opis

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Programming & scripting languages: general

• Pełny tytuł: Formal Methods: State of the Art and New Directions
• Autor: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 273
• EAN: 9781848827356
• ISBN: 1848827350
• ID: 01434249
• Wydawca: Springer London Ltd
• Waga: 596 g
• Wymiary: 242 × 165 × 14 mm
• Data wydania: 21. December 2009

Ulubione w innej kategorii

---

---

---