Kod: 07184044
Austin Protocol Compiler
Autor Mohamed G. (University of Texas at Austin) Gouda
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent. ... więcej
- Język:
Angielski - Oprawa: Twarda
- Liczba stron: 160
Wydawca: Springer-Verlag New York Inc., 2004
- Więcej informacji o książce
571.41 zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 12 - 15 dni
Potrzebujesz więcej egzemplarzy?Jeżeli jesteś zainteresowany zakupem większej ilości egzemplarzy, skontaktuj się z nami, aby sprawdzić ich dostępność.
Dodaj do schowka
Zobacz książki o podobnej tematyce
-
What Number is God?
192.69 zł -
Pathways to God
45.84 zł -
Special Issue in Honor of Katherine Nelson
152.10 zł -
Hormonal Carcinogenesis
571.41 zł -
Fluoromethylation Reactions
406.13 zł -
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology)
892.03 zł -
Clinical Management of Intestinal Failure
1022.39 zł
Podaruj tę książkę jeszcze dziś
- Zamów książkę i wybierz "Wyślij jako prezent".
- Natychmiast wyślemy Ci bon podarunkowy, który możesz przekazać adresatowi prezentu.
- Książka zostanie wysłana do adresata, a Ty o nic nie musisz się martwić.
Więcej informacji o Austin Protocol Compiler
Za ten zakup dostaniesz 331 punkty
Opis
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent.
Szczegóły książki
Kategoria Książki po angielsku Computing & information technology Computer security Data encryption
571.41 zł
- Pełny tytuł: Austin Protocol Compiler
- Autor: Mohamed G. (University of Texas at Austin) Gouda
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 160
- EAN: 9780387232270
- ISBN: 9780387232270
- ID: 07184044
- Wydawca: Springer-Verlag New York Inc.
- Waga: 405 g
- Wymiary: 234 × 156 × 11 mm
- Data wydania: 19. November 2004
Ulubione w innej kategorii
-
Art of Intrusion - The Real Stories Behind the Exploits of Hackers, Intruders and Deceivers
66.18 zł -23 % -
Serious Cryptography
190.06 zł -13 % -
Attacking Network Protocols
194.41 zł -10 % -
SSH, The Secure Shell
175.58 zł -11 % -
Snort Intrusion Detection and Prevention Toolkit
298.85 zł -
Eleventh Hour CISSP (R)
131.46 zł -10 % -
Applied Cryptography - Protocols, Algorithms and Source Code in C 20th Anniversary Edition
281.14 zł -10 % -
Security Analysis: Fifth Edition
399.76 zł -3 % -
Shellcoder's Handbook - Discovering and Exploiting Security Holes 2e
202 zł -11 % -
VPNs: A Beginner's Guide
142.79 zł -30 % -
Implementing SSL / TLS Using Cryptography and PKI
258.88 zł -5 % -
A Practical Guide to TPM 2.0
238.74 zł -
Foundations of Cryptography: Volume 1, Basic Tools
314.95 zł -
Net-Centric Approaches to Intelligence and National Security
571.41 zł -
Post-Quantum Cryptography
878.57 zł -
Secure Electronic Voting
571.41 zł -
Understanding and Applying Cryptography and Data Security
722.31 zł -
Management of Information Security
471.01 zł -
Building With Ethereum
242.48 zł -7 % -
Intrusion Detection Systems
878.57 zł -
Enterprise Security Architecture
720.08 zł -
Cryptography for Developers
375.98 zł -
Professional Pen Testing for Web Applications
218.19 zł -5 % -
Perfect Password
161.60 zł -
Noiseless Steganography
722.31 zł -
Quantum Communications and Cryptography
992.43 zł -
Understanding PKI
550.36 zł -
Complete Guide to CISM Certification
643.87 zł -
Checkpoint Next Generation Security Administration
353.87 zł -
Cryptographic Security Architecture
567.26 zł -
Physical Security Systems Handbook
397.84 zł -
Virtual Private Networks 2e
156.76 zł -10 % -
Phishing and Countermeasures - Understanding the Increasing Problem of Electronic Identity Theft
648.12 zł -
Data and Applications Security and Privacy XXIV
298.15 zł -
Attribute-Based Encryption and Access Control
312.32 zł -
Blockchain for Hospitality and Tourism
179.53 zł -5 % -
Handbook of Financial Cryptography and Security
902.35 zł -
Writing Security
135.91 zł -10 % -
Recommender System with Machine Learning and Artif icial Intelligence: Practical Tools and Applicatio ns in Medical, Agricultural and Other Industries
1116.41 zł -
Computer Security for the Home and Small Office
160.20 zł -5 % -
Botnet Detection
873.61 zł -
Metasploit Toolkit for Penetration Testing, Exploit Development, and Vulnerability Research
353.87 zł -
Cybersecurity
318.19 zł -14 % -
Smart Home Hacks
119.21 zł -10 % -
Public Key Cryptography
289.95 zł -
SOA Security in Action
315.66 zł -
The Crypto Revolution
104.64 zł -7 % -
Check Point VPN-1/ FireWall-1 NG Administration
241.47 zł -5 % -
Cryptography Primer
192.69 zł
zadowolonych klientów
Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.
Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies
21 milionów książek
Dostawa 10.99 zł
(32) 444 93 66 (8-15.30h)