Zobacz książki o podobnej tematyce

Więcej informacji o Specification and Verification of Multi-agent Systems

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

Za ten zakup dostaniesz 428 punkty

Opis

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Program concepts / learning to program

• Pełny tytuł: Specification and Verification of Multi-agent Systems
• Autor: Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 405
• EAN: 9781489990884
• ISBN: 9781489990884
• ID: 09062369
• Wydawca: Springer-Verlag New York Inc.
• Waga: 646 g
• Wymiary: 22 × 155 × 235 mm
• Data wydania: 20. October 2014

Ulubione w innej kategorii

---

---

---