Computer software - Verification.
概要
作品: | 28 作品在 11 項出版品 11 種語言 |
---|
書目資訊
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(書目-語言資料,印刷品)
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(書目-語言資料,印刷品)
更多
較少的
主題