Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

Potrebna knjiga: Manna/Pnueli: The Temporal Verification of Reactive Systems

[es] :: Ostali programski jezici :: Potrebna knjiga: Manna/Pnueli: The Temporal Verification of Reactive Systems
(Zaključana tema (lock), by Aleksandar Ružičić)

[ Pregleda: 1588 | Odgovora: 1 ] > FB > Twit

Postavi temu

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

zlatko84
Zlatko Ivanovic
B&H

Član broj: 56218
Poruke: 45
*.teol.net.



Profil

icon Potrebna knjiga: Manna/Pnueli: The Temporal Verification of Reactive Systems14.03.2011. u 12:42 - pre 159 meseci
Molim vas ako neko ima knjigu i pdf ili ps nije vazno. Knjiga je Manna/Pnueli: The Temporal Verification of Reactive Systems
Zlatko
 
0

Aleksandar Ružičić
Software Architect, Appricot d.o.o.
Beograd

Član broj: 26939
Poruke: 2881

Jabber: krckoorascic@gmail.com
Sajt: krcko.net


+44 Profil

icon Re: Potrebna knjiga: Manna/Pnueli: The Temporal Verification of Reactive Systems14.03.2011. u 17:05 - pre 159 meseci
http://www.amazon.com/Temporal...e-Systems-Safety/dp/0387944591

razmena piratskog sadrzaja na ES forumima je zabranjena.
 
0

[es] :: Ostali programski jezici :: Potrebna knjiga: Manna/Pnueli: The Temporal Verification of Reactive Systems
(Zaključana tema (lock), by Aleksandar Ružičić)

[ Pregleda: 1588 | Odgovora: 1 ] > FB > Twit

Postavi temu

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.