Search results for "Formal Methods in Computer Science"
19 results found
Search results
Science & Mathematics
Algebraic Methods II: Theory, Tools and Applications: 490 (Lecture Notes in Computer Science)
₹3,873
Programming
Applications of Categories in Computer Science by M. P. Four
₹5,264
Programming
Handbook of Logic in Computer Science by Maibaum
₹5,958
Computers & Internet
Programming Language Theory and Formal Methods (English, Zoran Gacovski)
₹5,034
Programming
Programming Language Theory and Formal Methods by Zoran Gaco
₹5,034
Textbooks & Study Guides
Towards a Formal Description of Ada: 98 (Lecture Notes in Computer Science) by D. Bjorner | O. N. Oest | Springer-Verlag | Hardcover | 1980 Edition | Programming & Compilers Book
₹5,095
Networking
Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security : International Workshop Mmm-Acns 2001, St. ... 2052 (Lecture Notes in Computer Science)
₹2,984
Programming
Handbook of Logic in Computer Science by Abramsky
₹5,908
Science & Mathematics
Variational Methods in Mathematics, Science and Engineering
₹5,681
Arts, Film & Photography
Formal Properties of Finite Automata and Applications by Jean E. Pin | Springer Verlag | Hardcover | 1989 Edition | Theoretical Computer Science Book
₹4,039.09
Science & Mathematics
Mathematics in Science and Technology: Mathematical Methods,
₹5,044
Language, Linguistics & Writing
Formal Languages for Computer Simulation (English, Pau Fonseca I. Casas)
₹4,791
Computers & Internet
Computer Science in Industrial Application (English, Yanglv Ling)
₹4,020
Programming
Linear Logic in Computer Science by Thomas Ehrhard
₹5,055
Programming
Using Computer Science in Marketing by Carla Mooney
₹1,932
Computers & Internet
Using Computer Science in Marketing Careers (English, Carla Mooney)
₹1,624
AI & Machine Learning
Scale Space Methods in Computer Vision: 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings: 2695 (Lecture Notes in Computer Science)
₹5,210
Computers & Internet
Graph-Theoretic Concepts in Computer Science (English, Ernst W. Mayr)
₹5,556
Computers & Internet
Computer Science Logic: CSL 2004 Proceedings (Lecture Notes in Computer Science 3210) by Jerzy Marcinkowski - Springer, English, Paperback, 2004 Edition
₹5,206.6