Author books / Книги автора Eric Y. T. Juan Jeffrey J. P. Tsai (auth.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Eric Y. T. Juan Jeffrey J. P. Tsai (auth.)

book Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

pdf

Author: Eric Y. T. Juan Jeffrey J. P. Tsai (auth.)
Language: English
Year: 2002

00

27.01.2024

1

0