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
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
IT Performance Management(Hardcover) by Peter Wiggers , Maritha de Boer-de Wit , Henk Kok
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Schaum’s Outline of Programming with C by Byron S. Gottfried
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Encyclopedia of Microcomputers(Hardcover) by Allen Kent , James G. Williams
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Managing Stakeholders in Software Development Projects(Paperback) by John Mcmanus
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Perinatal Programming(Hardcover) by Deborah M. Hodgson (Editor) , Christopher L. Coe (Editor)
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
MATLAB and C Programming for Trefftz Finite Element Methods(Hardcover) by Hui Wang , Qing-Hua Qin
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Presentations with PowerPoint(Paperback) Learning Made Simple by Moira Stephen