Search
1 heading found for n 80082454
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Manna, Zohar.
Manna, Zohar, 1939-2018 Zohar Manna American computer scientist Zohar Manna American-Israeli computer scientist Manna, Zohar, 1939- מנה, זהר, 1939-2018 |
Personal | Calculus of computation : decision procedures with applications to verification Calculus of computation : decision procedures with applications to verification The logical basis for computer programming. An interleaving model for real time, 1990: |