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]. softcover reprint of hardcover 1st ed.
Ostali autori
Izdanje
softcover reprint of hardcover 1st ed.
Nakladnik
Berlin ; Heidelberg : Springer, 2001
Materijalni opis
XII, 190 str. : 67 ilustr. ; 24 cm
Napomena
Prijevod djela / obnovljena verzija francuskog izdanja: Verification de logiciels. Techniques et outils du model-checking /coordone par Philippe Schnoebelen. Vuibert, Paris, 1999.
 
Bibliografije uz poglavlja ; Glavna bibliografija: str.[179]-182.
 
Kazalo.
Klasifikacijska oznaka
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
 
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
 
68-01 Instructional exposition (textbooks, tutorial papers, etc.)
 
68Q60 Specification and verification (program logics, model checking, etc.) [See also 03B70]
Jezik
engleski
Standardni broj
ISBN 978-3-640-07478-3
 
ISBN 978-3-662-04558-9
Građa
Knjigaknjiga
Djelomični sadržaj online

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. - XII, 190 str. : 67 ilustr. ; 24 cm
Prijevod djela / obnovljena verzija francuskog izdanja: Verification de logiciels. Techniques et outils du model-checking /coordone par Philippe Schnoebelen. Vuibert, Paris, 1999. - Bibliografije uz poglavlja ; Glavna bibliografija: str.[179]-182. - Kazalo.
ISBN 978-3-640-07478-3. - 978-3-662-04558-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.