Bolognesi, Tommaso.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal methods for distributed system development : = FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy/
by:
Bolognesi, Tommaso.; Latella, Diego.; IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ((2000 :)
(書目-語言資料,印刷品)
LOTOSphere : = software development with LOTOS /
by:
Bolognesi, Tommaso.; Lagemaat, Jeroen van de.; Vissers, Chris, (1941-)
(書目-語言資料,印刷品)