[ zlatko84 @ 14.03.2011. 12:42 ] @
Molim vas ako neko ima knjigu i pdf ili ps nije vazno. Knjiga je Manna/Pnueli: The Temporal Verification of Reactive Systems
[ Aleksandar Ružičić @ 14.03.2011. 17:05 ] @
http://www.amazon.com/Temporal...e-Systems-Safety/dp/0387944591

razmena piratskog sadrzaja na ES forumima je zabranjena.