For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
A Pnueli
A Pnueli is the author of "PORTAL Language Description", "MetaSoft Primer", "The Temporal Logic of Reactive and Concurrent Systems" and "Compositionality".
Books by A Pnueli
View more
Logic and Softwar...
Lin, H.
Hardback:
$51.00
Compositionality
De Roever W. P.
Paperback:
$109.99
The Temporal Logi...
Manna, Zohar
Hardback:
MetaSoft Primer
Blikle, Andrzej
Electronic book text:
$89.99