Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny
Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny
Autor
Best, Eike
Ostali autori
Nakladnik
Berlin [etc.] : Springer, 2001
Materijalni opis
XI, 378 str. : 111 ilustr. ; 24 cm
Napomena
Zadaci. Rješenja odabranih zadataka.
 
Bibliografija: str.[363]-368.
 
Kazalo.
Klasifikacijska oznaka
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
 
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85]
 
68Q60 Specification and verification (program logics, model checking, etc.) [See also 03B70]
 
68-02 Research exposition (monographs, survey articles)
Jezik
engleski
Standardni broj
ISBN 3-540-67398-9
Građa
Knjigaknjiga
Djelomični sadržaj online

BEST, Eike
Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny. - Berlin [etc.] : Springer, 2001. - XI, 378 str. : 111 ilustr. ; 24 cm. - (Monographs in theoretical computer science : an EATCS series)
Zadaci. Rješenja odabranih zadataka. - Bibliografija: str.[363]-368. - Kazalo.
ISBN 3-540-67398-9


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.