Pregledni zapisi
Tražili ste autor: McIver, Annabelle
Autor
McIver, Annabelle(2)
Morgan, Carroll(2)
Građa
Knjigaknjiga(2)
Godina
2005(1)
2003(1)
Jezik
engleski(2)
2 rezultata
1
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan
McIver, Annabelle  
New York : Springer, 2005
Knjiga Knjiga
Za rad u knjižniciZa rad u knjižnici
2
Programming methodology / editors Annabelle McIver, Carroll Morgan
Programming methodology / editors Annabelle McIver, Carroll Morgan
New York : Springer, 2003
Knjiga Knjiga
Za rad u knjižniciZa rad u knjižnici
e izvori
Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.