Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, Fra - Traian Muntean, Gilles Barthe, Jean-Louis Lanet, Lilian Burdy et Marieke Huisman

Où acheter (1) Caractéristiques
Sponsorisé
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, Fran - Traian Muntean, Gilles Barthe, Jean-Louis Lanet, Lilian Burdy et Marieke Huisman
ammareal.fr
Produit utilisé
6.17 EUR
Prix mis à jour le: 02-05-2026 01:24:18
Voir l'offre

Général

ISBN
3540242872
MPN
Illustrations

Caractéristiques

Produits similaires

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, Ma
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, Ma - Tiziana Margaria et Bernhard Steffen
Voir produit
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherl
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherl - Ed Brinksma
Voir produit
Planning and Analysis of Construction Operations
Planning and Analysis of Construction Operations
Voir produit
Planning, Construction, and Statistical Analysis of Comparative Experiments
Planning, Construction, and Statistical Analysis of Comparative Experiments
Voir produit
The construction of femininity and masculinity in Shakespeare's Macbeth
The construction of femininity and masculinity in Shakespeare's Macbeth
Voir produit
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherl
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherl - Ed Brinksma
Voir produit
Menu