杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.

出版发行项:

Hoboken, N.J. : Wiley-Interscience, c2008.

ISBN:

9780471704492 (cloth)

ISBN:

0471704490 (cloth)

载体形态项:

xv, 231 p. : ill. ; 25 cm.

丛编题名:

Wiley series on parallel and distributed computing

个人责任者:

Yoeli, Michael, 1917-

附加个人名称:

Kol, Rakefet.

论题主题:

Integrated circuits-Verification.

论题主题:

Computer software-Verification.

论题主题:

LOTOS (Computer program language)

论题主题:

Petri nets.

中图法分类号:

TN407

书目附注:

Includes bibliographical references and index.

豆瓣简介：