Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Alessandro Armando, Gavin Lowe
₹4,326
Frontiers of Combining Systems
4th International Workshop
Springer · 2002 · Paperback
₹5,571
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 2002, Frontiers of Combining Systems: 4th International Workshop by Alessandro Armando runs to 254 pages in paperback. It belongs to the Lecture notes in computer science series.
The book deals with Computer science, Congresses, Symbolic and mathematical Logic and Informatique.
Book details
- ISBN-13
- 9783540433811
- ISBN-10
- 3540433813
- Author
- Alessandro Armando
- Publisher
- Springer
- Published
- 2002
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 254
- Language
- English
- Condition
- New
- Subject
- Informatique
More by Alessandro Armando and related titles
Computing the Future
Juris Hartmanis
₹3,756
Distributed Artificial Intelligence
Michael N. Huhns
₹4,501
Excel 2010 Made Simple
Abbott Katz
₹2,190
Dictionary of Computer Science, Engineering and Technology
Philip A. Laplante
₹4,049
Atari S. T. Introduction to MIDI Programming
D. Young, Len Dorfman
₹3,579
From Writing to Computers
Julian Warner
₹9,470
Knowledge Discovery from XML Documents
Richi Nayak, Mohammed J. Zaki
₹5,430
Thermodynamic Cycles
Chih Wu
₹6,890
Computer Intensive Methods in Statistics
Silvelyn Zwanzig, Behrang Mahjani
₹3,204
Robots, Reasoning, and Reification
James P. Gunderson, Louise F. Gunderson
₹3,808
Humane Politics and Methods of Inquiry
Ithiel De Sola Pool
₹2,633