[es] :: Ostali programski jezici :: Potrebna knjiga: Manna/Pnueli: The Temporal Verification of Reactive Systems(Zaključana tema (lock), by Aleksandar Ružičić)
[ Pregleda: 1723 | Odgovora: 1 ] > FB > Twit
Autor
zlatko84Zlatko IvanovicB&HČlan broj: 56218Poruke: 45*.teol.net.Profil
Aleksandar RužičićSoftware Architect, Appricot d.o.o.BeogradČlan broj: 26939Poruke: 2881Jabber: krckoorascic@gmail.comSajt: krcko.net+44 Profil