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
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Encyclopedia of Microcomputers(Hardcover) by Allen Kent , James G. Williams
৳ 14,400
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
৳ 1,710
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
৳ 3,236
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Monkey, Shakespeare, Typewriter, Cybersecurity for Everyone by Chaitanya Kunthe
৳ 790
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Presentations with PowerPoint(Paperback) Learning Made Simple by Moira Stephen
৳ 3,598
