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, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
₹5,571
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540433811
- ISBN-10
- 3540433813
- Author
- Alessandro Armando
- Publisher
- Springer
- Condition
- New
More by Alessandro Armando and related titles
Der Weibliche Beckenboden
Klaus Goeschen, Peter E. Papa Petros
₹5,361
Image and Video Retrieval
Peter Enser, Yiannis Kompatsiaris, Noel E. O'Connor
₹4,521
Die Proximalen Humerusfrakturen
Fabrizio Moro, Rainer-Peter Meyer, Andreas Lütscher
₹4,965
Psychotherapie -- Welche Effekte Verändern?
Volker Tschuschke, Dietmar Czogalik
₹5,330
Taschenbuch Für Druckluftbetrieb
G. Choné, H. Feigenspan, Frankfurter Maschinenbau-Aktiengesellsch
₹5,498
Medizinische Informationsverarbeitung Und Epidemiologie Im Dienste Der Gesundheit
Hans-Konrad Selbmann, Klaus Dietz
₹3,508
Biomedizinische Technik 4
Helmut Hutten
₹4,519
Lectures on Logic and Computation
Nick Bezhanishvili, Valentin Goranko
₹4,977
Pade Approximation and Its Applications
L. Wuytack
₹3,288
E-Commerce and Web Technologies
Kurt Bauknecht, A. Min Tjoa, Gerald Quirchmayr
₹5,590
Innovative Geschäftsmodelle
Thomas Bieger, Dodo Zu Knyphausen-Aufseß, Christian Krys
₹4,529