Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan
Autor
McIver, Annabelle
Ostali autori
Nakladnik
New York : Springer, 2005
Materijalni opis
xix, 383 str. : ilustr. ; 24 cm
Napomena
Bibliografija: str.[345]-355 ; Kazala.
Klasifikacijska oznaka
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
 
03B70 Logic in computer science [See also 68-XX]
 
68W20 Randomized algorithms
 
68-02 Research exposition (monographs, survey articles)
Jezik
engleski
Standardni broj
ISBN 0-387-40115-6
Građa
Knjigaknjiga
Djelomični sadržaj online

MCIVER, Annabelle
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan. - New York : Springer, 2005. - xix, 383 str. : ilustr. ; 24 cm. - (Monographs in computer science)
Bibliografija: str.[345]-355 ; Kazala.
ISBN 0-387-40115-6


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.