Your shopping cart is empty!
Besik Dundua is an expert in formal methods. He received his PhD degree from the University of Porto in computer science. Afterwards, he worked as a postdoc and visiting researcher in Brazil (University of Brasilia), Austria (Johannes Kepler University Linz), and Germany (The University of Stuttgart). His work concerns various aspects of verification, computational logic, and formal languages: foundational formalisms, computational mechanisms, and implementation ideas. He has published more than 20 papers on those topics and presented his work at more than 30 conference.
12,399.00₹ 16,185.00₹ Ex Tax: 12,399.00₹
ABOUT THE BOOKThis handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal ver..