"Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)" - читать интересную книгу автора (Karin Breitman, Marco Antonio Casanova, Walt Truszkowski)