Beschreibung
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
Formal Verification of Communication Protocols for Wireless Networks
Lieferzeit: Lieferbar innerhalb 14 Tagen
49,00 €
inkl. 7 % MwSt. zzgl. Versandkosten
A simple and efficient methodology for formal verification of wireless networks communication protocols
| ISBN: | 3846515604 |
|---|---|
| ISBN 13: | 9783846515600 |
| Autor: | Camara, Daniel/Alfredo Ferreira Loureiro, Antonio |
| Verlag: | LAP LAMBERT Academic Publishing |
| Umfang: | 120 S. |
| Erscheinungsdatum: | 17.10.2011 |
| Auflage: | 1/2011 |
| Format: | 0.8 x 22 x 15 |
| Gewicht: | 197 g |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Energy Efficient Routing Protocols in Wireless Sensor Networks]()
Energy Efficient Routing Protocols in Wireless Sensor Networks
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protocol Design and Analysis for Cooperative Wireless Networks]()
Protocol Design and Analysis for Cooperative Wireless Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications and Networks]()
Wireless Communications and Networks
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications Systems and Networks]()
Wireless Communications Systems and Networks
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications & Networks]()
Wireless Communications & Networks
99,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Formal Verification]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Networks]()
Wireless Networks
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: El último pasajero]()
El último pasajero
16,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Network Slicing for Future Wireless Communication]()
Network Slicing for Future Wireless Communication
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Routing Protocol And Wireless Sensor Network]()
Routing Protocol And Wireless Sensor Network
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fulgor]()
Fulgor
17,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sustainable Automotive components for interior parts]()
Sustainable Automotive components for interior parts
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Monetary Policy in the European Monetary System]()
Monetary Policy in the European Monetary System
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Time Series Forecasting Using Statistical And Neural Networks Models]()
Time Series Forecasting Using Statistical And Neural Networks Models
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mobile and Wireless Communications Networks]()
Mobile and Wireless Communications Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Networks]()
Wireless Networks
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Routing Protocols for Wireless Sensor Networks]()
Routing Protocols for Wireless Sensor Networks
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Formal Verification]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Centralized MAC Protocol for Wireless Sensor Networks]()
Centralized MAC Protocol for Wireless Sensor Networks
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications]()
Wireless Communications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The 100 years Anglo-Chinese Calendar]()
The 100 years Anglo-Chinese Calendar
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Application Specific Clustering Protocols for Wireless Sensor Networks]()
Application Specific Clustering Protocols for Wireless Sensor Networks
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communication and Network Application]()
Wireless Communication and Network Application
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Simulink/Stateflow Diagrams]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Communication Protocols]()
Communication Protocols
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Powered Communication Networks]()
Wireless Powered Communication Networks
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications and Networks]()
Wireless Communications and Networks
175,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trust Based Routing Protocols for Wireless Sensor Network]()
Trust Based Routing Protocols for Wireless Sensor Network
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Secure Group Communication Protocols in Wireless Mobile Environment]()
Secure Group Communication Protocols in Wireless Mobile Environment
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mobile and Wireless Communication Networks]()
Mobile and Wireless Communication Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Communication Protocol Specification and Verification]()
Communication Protocol Specification and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications]()
Wireless Communications
64,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Communication over Interference in Wireless Networks]()
Communication over Interference in Wireless Networks
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Gotas frias de suor]()
Gotas frias de suor
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Simulink/Stateflow Diagrams]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Secure Routing Protocols for Wireless Mesh Networks]()
Secure Routing Protocols for Wireless Mesh Networks
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Optimized Security Protocol for Wireless Sensor Networks]()
Optimized Security Protocol for Wireless Sensor Networks
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Network Slicing for Future Wireless Communication]()
Network Slicing for Future Wireless Communication
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Structurally Complex Multipliers]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Opportunistic Communication for Wireless Networks]()
Opportunistic Communication for Wireless Networks
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ad Hoc Wireless Networks: Architectures and Protocols]()
Ad Hoc Wireless Networks: Architectures and Protocols
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Broadband Wireless Communication Networks]()
Broadband Wireless Communication Networks
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis of Security Protocols]()
Formal Analysis of Security Protocols
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Powered Communication Networks]()
Wireless Powered Communication Networks
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: La ladrona de huesos]()
La ladrona de huesos
15,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Emerging Communications for Wireless Sensor Networks]()
Emerging Communications for Wireless Sensor Networks
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mobile and Wireless Communications Networks]()
Mobile and Wireless Communications Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Roadmap for Formal Property Verification]()
A Roadmap for Formal Property Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Simulation Methods for Industrial Formal Verification]()
Symbolic Simulation Methods for Industrial Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Simulation Methods for Industrial Formal Verification]()
Symbolic Simulation Methods for Industrial Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Concurrent Embedded Software]()
Formal Verification of Concurrent Embedded Software
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Routing protocols in wireless sensor network]()
Routing protocols in wireless sensor network
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cuando la tormenta pase]()
Cuando la tormenta pase
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Polynomial Formal Verification of Approximate Functions]()
Polynomial Formal Verification of Approximate Functions
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling Communication Networks and Protocols]()
Modeling Communication Networks and Protocols
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mobile and Wireless Communication Networks]()
Mobile and Wireless Communication Networks
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Computer/Communications Protocols and Software]()
Formal Methods for Computer/Communications Protocols and Software
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Energy optimisation of protocols in Wireless Sensor Network]()
Energy optimisation of protocols in Wireless Sensor Network
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hypergraph Theory in Wireless Communication Networks]()
Hypergraph Theory in Wireless Communication Networks
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Communication Protocols]()
Communication Protocols
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development and Formal Verification of TTCAN]()
Development and Formal Verification of TTCAN
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Roadmap for Formal Property Verification]()
A Roadmap for Formal Property Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Implementation Of MEMAC Protocol In Wireless Sensor Network]()
Implementation Of MEMAC Protocol In Wireless Sensor Network
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Hardware Verification]()
Formal Methods for Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cognitive Wireless Communication Networks]()
Cognitive Wireless Communication Networks
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cognitive Wireless Communication Networks]()
Cognitive Wireless Communication Networks
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications]()
Wireless Communications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Multichannel Wireless Sensor Networks MAC Protocol]()
A Multichannel Wireless Sensor Networks MAC Protocol
41,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ARQ Protocols in Wireless Communications]()
ARQ Protocols in Wireless Communications
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Structurally Complex Multipliers]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Optimization for Wireless Powered Communication Networks]()
Optimization for Wireless Powered Communication Networks
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Object-Oriented Software]()
Formal Verification of Object-Oriented Software
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Correctness of Security Protocols]()
Formal Correctness of Security Protocols
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wireless Communications]()
Wireless Communications
85,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Efficient AODV Routing Protocol for Wireless Sensor Networks]()
Efficient AODV Routing Protocol for Wireless Sensor Networks
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protocol Design and Analysis for Cooperative Wireless Networks]()
Protocol Design and Analysis for Cooperative Wireless Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mobile and Wireless Communication Networks]()
Mobile and Wireless Communication Networks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Veinte]()
Veinte
17,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification Of FDIR in Smart Grid]()
Formal Verification Of FDIR in Smart Grid
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Hardware Verification]()
Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Routing Protocols For Mobile Wireless Sensor Networks]()
Routing Protocols For Mobile Wireless Sensor Networks
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protocols for High-Efficiency Wireless Networks]()
Protocols for High-Efficiency Wireless Networks
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Routing Protocols for Mobile Ad Hoc Networks]()
Routing Protocols for Mobile Ad Hoc Networks
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Communication Security in Wireless Sensor Networks]()
Communication Security in Wireless Sensor Networks
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Communication Protocol Specification and Verification]()
Communication Protocol Specification and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Correctness of Security Protocols]()
Formal Correctness of Security Protocols
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
