عنوان
پدید آورنده
موضوع
رده
TK 7874.58 .Y64 2008
TK
7874
.
58
.
Y64
2008
کتابخانه
محل استقرار
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Hoboken
Wiley-Interscience
2008
xv,231 p. : illus
Wiley series on parallel and distributed computing
Includes bibliographical references and index
by Michael Yoeli and Rakefet Kol
1
Verification ، Integrated circuits
Verification ، Computer software
، LOTOS )Computer program language(
، Petri nets
TK
7874
.
58
.
Y64
2008
7191-
Yoeli, Michael
AU
AU Kol, Rakefet
TI
SE
