Tražili ste Najposuđivanije u posljednjih 30 dana. Suzili ste nakladnik: Springer poništi sužavanje autor: Berard, Beatrice poništi sužavanje 
Status
Građa
Godina
2001(2)
Jezik
Nakladnik
Springer(2)
2 rezultata
1
Systems and software verification : model-checking techniques and tools / B. Berard ... (et al.) ; translated with the help of Pierre McKenzie
Systems and software verification : model-checking techniques and tools / B. Berard ... (et al.) ; translated with the help of Pierre McKenzie
Berlin [etc.] : Springer, 2001
Knjiga Knjiga
PosuđenoPosuđenoBroj posudbi 1
2
Systems and software verification : model-checking techniques and tools / B. Berard ...[et al.] ; [translated with the help of Pierre McKenzie]. softcover reprint of hardcover 1st ed.
Systems and software verification : model-checking techniques and tools / B. Berard ...[et al.] ; [translated with the help of Pierre McKenzie]. softcover reprint of hardcover 1st ed.
Berlin ; Heidelberg : Springer, 2001
Knjiga Knjiga
Za posudbuZa posudbuBroj posudbi 1
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.