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
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Tolley’s Managing Email and Internet Use(Paperback) by Lynda Macdonald
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Encyclopedia of Microcomputers(Hardcover) by Allen Kent , James G. Williams
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Outsourcing Software Development Offshore(Hardcover) Making It Work by Tandy Gold
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Fundamentals of Network Analysis and Synthesis by S.K.Pandey
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Programmable Digital Signal Processors(Hardcover) by Yu Hen Hu (Editor)
বিদেশি ভাষার বই: গণিত বিজ্ঞান ও প্রযুক্তি
Interactive Computer GraphicsA Top Down Approach With WebGl by Dave Shreiner , Edward Angel



