Temporal logic of reactive and concurrent systems : : specification / / Zohar Manna, Amir Pnueli.
Saved in:
VerfasserIn: | |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | New York : : Springer Science+Business Media,, 1992. 1992 |
Year of Publication: | 1992 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (427 pages) :; illustrations |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Hands-on design patterns with Kotlin : : build scalable applications using traditional, reactive, and concurrent design patterns in Kotlin. / / Alexey Soshin.
by: Soshin, Alexey,
Published: (2018.) -
C++ reactive programming : : design concurrent and asynchronous applications using the RxCpp library and modern C++ 17 / / Praseed Pai, Peter Abraham.
by: Pai, Praseed,
Published: (2018.) -
Learning reactive programming with Java 8 : : learn how to use RxJava and its reactive Observables to build fast, concurrent, and powerful applications through detailed examples / / Nickolay Tsvetinov.
by: Tsvetinov, Nickolay,
Published: (2015.) -
Software and systems safety : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Published: (2011.) -
Concurrent and distributed computing in Java / Vijay K. Garg.
by: Garg, Vijay K.
Published: (c2004.)