๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE

โœ Scribed by Halbwachs, N.; Lagnier, F.; Ratel, C.


Book ID
117871942
Publisher
IEEE
Year
1992
Tongue
English
Weight
946 KB
Volume
18
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES