Books by Abdulla, Parosh Aziz — 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

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 6605)
Abdulla, Parosh Aziz
Springer
View Details ›