Search results for "Formal Specification and Verification of Distributed Systems"
16 results found
Search results
Books
Materials, Specification and Detailing (English, Norman Wienand)
₹3,552
Books
Materials, Specification and Detailing (English, Norman Wienand)
₹5,381
Springer
Verification and Control of Hybrid Systems by Tabuada
₹5,518
Pearson
Distributed Systems: Concepts and Design
₹5,295
Sciences, Technology & Medicine
Verification and Control of Hybrid Systems (English, Paulo Tabuada)
₹4,297
Books
Patterns of Distributed Systems (English, Umesh Joshi)
₹4,185
Programming
Verification, Validation and Testing in Software Engineering
₹3,833
Science & Mathematics
Algebraic Specification of Communication Protocols by S. Mau
₹3,852
Language, Linguistics & Writing
Languages for System Specification (English, Christoph Grimm)
₹4,130
Books
Distributed Systems (English, Andrew S. Tanenbaum)
₹3,345
Sciences, Technology & Medicine
Systems of Logic (English, Norman M. Martin)
₹4,889
Sciences, Technology & Medicine
Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Jan Vytopil)
₹4,607
Sciences, Technology & Medicine
Dynamical Inverse Problems of Distributed Systems (English, Vyacheslav I. Maksimov)
₹4,246
Sciences, Technology & Medicine
Automatic Verification Methods for Finite State Systems (English, Joseph Sifakis)
₹5,573
Sciences, Technology & Medicine
Higher Order Logic and Hardware Verification (English, T. Melham)
₹4,628
Arts, Film & Photography
Distributed System Design (English, Jie Wu)
₹5,099