0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice,... Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (Paperback, 2006 ed.)
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
R1,592 Discovery Miles 15 920 Ships in 10 - 15 working days

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Jujutsu Kaisen, Vol. 16
Gege Akutami Paperback  (2)
R166 Discovery Miles 1 660
Captain America
Jack Kirby, Joe Simon, … Paperback R610 R476 Discovery Miles 4 760
The Amazing Spider-Man
Stan Lee, Steve Ditko Hardcover R1,219 R992 Discovery Miles 9 920
Jujutsu Kaisen, Vol. 17
Gege Akutami Paperback  (1)
R211 R167 Discovery Miles 1 670
Demon Slayer: Kimetsu Academy, Vol. 2
Koyoharu Gotouge Paperback R269 R180 Discovery Miles 1 800
Case File Compendium: Bing An Ben…
Rou Bao Bu Chi Rou Paperback R397 Discovery Miles 3 970
Heaven Official's Blessing: Tian Guan Ci…
Mo Xiang Tong Xiu Paperback R417 Discovery Miles 4 170
Ms. Marvel: Volume 1 - No Normal
Adrian Alphona Paperback  (3)
R350 R273 Discovery Miles 2 730
Judge Dredd Day of Chaos: Endgame
John Wagner, Henry Flint, … Paperback  (1)
R573 R389 Discovery Miles 3 890
The Heartstopper Yearbook
Alice Oseman Hardcover R451 R240 Discovery Miles 2 400

 

Partners