Montant total (1 article articles) :
Destination de la commande :
austin protocol compiler de mcguire tommy (27 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (27)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (22)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (2)
- Moyen ou mauvais (1)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (7)
- Sans impressions à la demande (24)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
The Austin Protocol Compiler (Advances in Information Security, 13)
Livre 12 sur 90 : Advances in Information SecurityVendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 19,96
EUR 3,23 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 23,49
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.87.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 22,24
EUR 3,44 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 160.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 20,41
EUR 7,36 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 160 Illus.
-
The Austin Protocol Compiler (Advances in Information Security)
Livre 12 sur 90 : Advances in Information SecurityVendeur : BookOrders, Russell, IA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,38
EUR 3,44 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHard Cover. Etat : Acceptable. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover shows light wear. 141 pages. Ex-Library.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 21,61
EUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 160.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,27
Gratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,80
Gratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,22
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,61
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 102,66
EUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
The Austin Protocol Compiler (Advances in Information Security, 13)
Livre 12 sur 90 : Advances in Information SecurityVendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 97,05
EUR 7,73 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
The Austin Protocol Compiler (Advances in Information Security, 13)
Livre 12 sur 90 : Advances in Information SecurityVendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 102,92
EUR 3,44 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
The Austin Protocol Compiler (Advances in Information Security, 13)
Livre 12 sur 90 : Advances in Information SecurityVendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 103,26
EUR 3,44 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
The Austin Protocol Compiler (Advances in Information Security, 13)
Livre 12 sur 90 : Advances in Information SecurityVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 108,38
EUR 13,57 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 122,11
EUR 2,27 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 138,11
EUR 3,44 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 156.
-
Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 126,37
EUR 16,99 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 127,57
EUR 16,99 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
The Austin Protocol Compiler (Advances in Information Security, 13)
Livre 12 sur 90 : Advances in Information SecurityVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 133,18
EUR 13,57 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 150,38
EUR 11,33 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 142 pages. 9.00x6.00x0.37 inches. In Stock.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityEdité par Springer-Verlag New York Inc, 2004
ISBN 10 : 0387232273 ISBN 13 : 9780387232270
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 152,31
EUR 11,33 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1st edition. 142 pages. 9.25x6.25x0.50 inches. In Stock.
-
EUR 118,64
EUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New. Presents alternative ways of developing a network protocol discussing security protocols, implementing security protocols, abstract protocols and protocol correctnessThere are two groups of researchers who are interested in designing network protocols a.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 162,93
EUR 62 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the abstract semantics of TAP, is maintained when this specification is implemented based on concrete semantics of TAP. The equivalence suggests the following for developing a correct implementation of a protocol:1. Specify the protocol using the TAP notation.2. Verify the correctness of the specification based on the abstract semantics of TAP.3. Implement the specification based on the concrete semantics of TAP.For step 3, this book introduces the Austin Protocol Compiler (APC) that takes as input, a TAP specification of some protocol, and produces as output C-code that implements this protocol based on the concrete semantics of TAP.
-
EUR 92,27
EUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents alternative ways of developing a network protocol discussing security protocols, implementing security protocols, abstract protocols and protocol correctnessThere are two groups of researchers who are interested in designing network protocols a.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 148,19
EUR 7,36 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 156 39 Illus.
-
The Austin Protocol Compiler
Livre 12 sur 90 : Advances in Information SecurityVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 149,38
EUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 156.
