The Temporal Logic of Reactive and Concurrent Systems: Specification pdf free
Par courtney bonnie le dimanche, mai 26 2013, 02:06 - Lien permanent
The Temporal Logic of Reactive and Concurrent Systems: Specification
Amir Pnueli, Zohar Manna
The.Temporal.Logic.of.Reactive.and.Concurrent.Systems.Specification.pdf
ISBN: 0387976648,9780387976648 | 462 pages | 12 Mb
Download eBook
The Temporal Logic of Reactive and Concurrent Systems: Specification Amir Pnueli, Zohar Manna
Publisher: Springer
Other ebooks: