Partial order methods in verification : DIMACS workshop, July 24-26, 1996 / Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, editors
Partial order methods in verification : DIMACS workshop, July 24-26, 1996 / Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, editors
Ostali autori
Nakladnik
Providence, R.I. : American Mathematical Society, 1997
Materijalni opis
xiv, 403 str. : ilustr. ; 26 cm
Napomena
Akronim Workshop-a je POMIV'96.
 
Bibliografije uz radove.
Klasifikacijska oznaka
00B25 Proceedings of conferences of miscellaneous specific interest
 
68-06 Proceedings, conferences, collections, etc.
 
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85]
 
68Q45 Formal languages and automata [See also 03D05, 68Q70, 94A45]
 
68Q55 Semantics [See also 03B70, 06B35, 18C50]
 
68Q60 Specification and verification (program logics, model checking, etc.) [See also 03B70]
Jezik
engleski
Standardni broj
ISBN 0-8218-0579-7
Građa
Knjigaknjiga
Djelomični sadržaj online

PARTIAL order methods in verification : DIMACS workshop, July 24-26, 1996 / Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, editors. - Providence, R.I. : American Mathematical Society, 1997. - xiv, 403 str. : ilustr. ; 26 cm. - (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; Vol. 29)
Akronim Workshop-a je POMIV'96. - Bibliografije uz radove.
ISBN 0-8218-0579-7


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.