Books by Luca Aceto — EbookNetworking.net

EbookNetworking 🔍 Search Books

📄 Lite AMP versionFull site ›

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Reactive Systems: Modelling, Specification and Verification
Luca Aceto, Anna IngÃ³lfsdÃ³ttir, Kim Guldstrand Larsen, Jiri Srba
Cambridge University Press
View Details ›
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Luca Aceto
Cambridge University Press
View Details ›