Languages
Manna, Zohar
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
The temporal logic of reactive and concurrent systems
by:
Manna, Zohar; Pnueli, A
(Language materials, printed)
The logical basis for computer programming
by:
Manna, Zohar; Waldinger, Richard
(Language materials, printed)