All About Maude – A High-Performance Logical Framework – Lecture Notes in Computer Science-4350(Paperback) How to Specify, Program, and Verify Systems in Rewriting Logic by Narciso Marti-Oliet , Manuel Clavel , Steven Eker , Patrick Lincoln , Carolyn Talcott
৳ 2,880
Related products
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
৳ 11,464
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Managing Stakeholders in Software Development Projects(Paperback) by John Mcmanus
৳ 1,517
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
৳ 1,533
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
৳ 10,782
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
৳ 3,236
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Outsourcing Software Development Offshore(Hardcover) Making It Work by Tandy Gold
৳ 28,798