Communicating and mobile systems : the pi-calculus / Robin Milner
Communicating and mobile systems : the pi-calculus / Robin Milner. 7th ed
Jedinstveni stvarni naslov
Autor
Milner, Robin
Izdanje
7th ed
Nakladnik
Cambridge : Cambridge University Press, 2010
Materijalni opis
xii, 161 str. ; 23 cm
Napomena
1. izd.1999.
 
Bibliografija: str. 157-158.
 
Kazalo.
Klasifikacijska oznaka
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85]
 
68-01 Instructional exposition (textbooks, tutorial papers, etc.)
 
68-02 Research exposition (monographs, survey articles)
 
68Q55 Semantics [See also 03B70, 06B35, 18C50]
 
68Q60 Specification and verification (program logics, model checking, etc.) [See also 03B70]
Jezik
engleski
Standardni broj
ISBN 978-0-521-65869-0
Građa
Knjigaknjiga
Djelomični sadržaj online

MILNER, Robin
Communicating and mobile systems : the pi-calculus / Robin Milner. - 7th ed. - Cambridge : Cambridge University Press, 2010. - xii, 161 str. ; 23 cm
1. izd.1999. - Bibliografija: str. 157-158. - Kazalo.
ISBN 978-0-521-65869-0


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.