Verification of communication protocols in web services : model-checking service compositions /
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Uloženo v:
Hlavní autor: | Tari, Zahir |
---|---|
Další autoři: | Mukherjee, Anshuman, Bertók, Péter, 1952- |
Médium: | Elektronický zdroj E-kniha |
Jazyk: | angličtina |
Vydáno: |
Hoboken, New Jersey :
Wiley,
[2014]
|
Edice: | Wiley series on parallel and distributed computing ;
83 |
Témata: | |
On-line přístup: | An electronic book accessible through the World Wide Web; click to view |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Verification of communication protocols in web services : model-checking service compositions /
Autor: Tari, Zahir
Vydáno: (2014)
Autor: Tari, Zahir
Vydáno: (2014)
Advanced Internet protocols, services, and applications
Autor: Oki, Eiji, 1969-
Vydáno: (2012)
Autor: Oki, Eiji, 1969-
Vydáno: (2012)
Advanced Internet protocols, services, and applications
Autor: Oki, Eiji, 1969-
Vydáno: (2012)
Autor: Oki, Eiji, 1969-
Vydáno: (2012)
NGN architectures, protocols and services /
Autor: Janevski, Toni
Vydáno: (2014)
Autor: Janevski, Toni
Vydáno: (2014)
NGN architectures, protocols and services /
Autor: Janevski, Toni
Vydáno: (2014)
Autor: Janevski, Toni
Vydáno: (2014)
IPv6 advanced protocols implementation
Autor: Li, Qing, 1971-
Vydáno: (2007)
Autor: Li, Qing, 1971-
Vydáno: (2007)
IPv6 advanced protocols implementation
Autor: Li, Qing, 1971-
Vydáno: (2007)
Autor: Li, Qing, 1971-
Vydáno: (2007)
Advanced transport protocols designing the next generation /
Autor: Exposito, Ernesto
Vydáno: (2013)
Autor: Exposito, Ernesto
Vydáno: (2013)
Advanced transport protocols designing the next generation /
Autor: Exposito, Ernesto
Vydáno: (2013)
Autor: Exposito, Ernesto
Vydáno: (2013)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
Autor: Bookham, Colin
Vydáno: (2014)
Autor: Bookham, Colin
Vydáno: (2014)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
Autor: Bookham, Colin
Vydáno: (2014)
Autor: Bookham, Colin
Vydáno: (2014)
IPv6 core protocols implementation
Autor: Li, Qing, 1971-
Vydáno: (2007)
Autor: Li, Qing, 1971-
Vydáno: (2007)
IPv6 core protocols implementation
Autor: Li, Qing, 1971-
Vydáno: (2007)
Autor: Li, Qing, 1971-
Vydáno: (2007)
Cisco IP routing protocols troubleshooting techniques /
Autor: Anand, V. (Vijay)
Vydáno: (2004)
Autor: Anand, V. (Vijay)
Vydáno: (2004)
Cisco IP routing protocols troubleshooting techniques /
Autor: Anand, V. (Vijay)
Vydáno: (2004)
Autor: Anand, V. (Vijay)
Vydáno: (2004)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
Autor: Nedelcu, Clément
Vydáno: (2010)
Autor: Nedelcu, Clément
Vydáno: (2010)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
Autor: Nedelcu, Clément
Vydáno: (2010)
Autor: Nedelcu, Clément
Vydáno: (2010)
Understanding LDAP design and implementation
Vydáno: (2004)
Vydáno: (2004)
Using LDAP for directory integration
Autor: Tuttle, Steven
Vydáno: (2004)
Autor: Tuttle, Steven
Vydáno: (2004)
Using LDAP for directory integration
Autor: Tuttle, Steven
Vydáno: (2004)
Autor: Tuttle, Steven
Vydáno: (2004)
Understanding LDAP design and implementation
Vydáno: (2004)
Vydáno: (2004)
Programmable networks for IP service deployment
Vydáno: (2004)
Vydáno: (2004)
Programmable networks for IP service deployment
Vydáno: (2004)
Vydáno: (2004)
Java 2 network protocols black book
Autor: Williams, Al, 1963-
Vydáno: (2001)
Autor: Williams, Al, 1963-
Vydáno: (2001)
Java 2 network protocols black book
Autor: Williams, Al, 1963-
Vydáno: (2001)
Autor: Williams, Al, 1963-
Vydáno: (2001)
Multiple access channels theory and practice /
Vydáno: (2007)
Vydáno: (2007)
Multiple access channels theory and practice /
Vydáno: (2007)
Vydáno: (2007)
Web penetration testing with Kali Linux : a practical guide to implementing penetration testing strategies on websites, web applications, and standard web protocols with Kali Linux /
Autor: Muniz, Joseph
Vydáno: (2013)
Autor: Muniz, Joseph
Vydáno: (2013)
Web penetration testing with Kali Linux : a practical guide to implementing penetration testing strategies on websites, web applications, and standard web protocols with Kali Linux /
Autor: Muniz, Joseph
Vydáno: (2013)
Autor: Muniz, Joseph
Vydáno: (2013)
Communicating systems with UML 2 modeling and analysis of network protocols /
Autor: Garduno Barrera, David
Vydáno: (2011)
Autor: Garduno Barrera, David
Vydáno: (2011)
Communicating systems with UML 2 modeling and analysis of network protocols /
Autor: Garduno Barrera, David
Vydáno: (2011)
Autor: Garduno Barrera, David
Vydáno: (2011)
Understanding SIP servlets 1.1
Autor: Boulton, Chris (Christopher James)
Vydáno: (2009)
Autor: Boulton, Chris (Christopher James)
Vydáno: (2009)
Understanding SIP servlets 1.1
Autor: Boulton, Chris (Christopher James)
Vydáno: (2009)
Autor: Boulton, Chris (Christopher James)
Vydáno: (2009)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
Autor: Baxter, James H.
Vydáno: (2014)
Autor: Baxter, James H.
Vydáno: (2014)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
Autor: Baxter, James H.
Vydáno: (2014)
Autor: Baxter, James H.
Vydáno: (2014)
V5 TCP/IP applications on the IBM e-server iSeries server
Vydáno: (2004)
Vydáno: (2004)
V5 TCP/IP applications on the IBM e-server iSeries server
Vydáno: (2004)
Vydáno: (2004)
Mastering OpenLDAP configuring, securing, and integrating directory services /
Autor: Butcher, Matt
Vydáno: (2007)
Autor: Butcher, Matt
Vydáno: (2007)
Mastering OpenLDAP configuring, securing, and integrating directory services /
Autor: Butcher, Matt
Vydáno: (2007)
Autor: Butcher, Matt
Vydáno: (2007)
SIP understanding the Session Initiation Protocol /
Autor: Johnston, Alan B.
Vydáno: (2009)
Autor: Johnston, Alan B.
Vydáno: (2009)
Podobné jednotky
-
Verification of communication protocols in web services : model-checking service compositions /
Autor: Tari, Zahir
Vydáno: (2014) -
Advanced Internet protocols, services, and applications
Autor: Oki, Eiji, 1969-
Vydáno: (2012) -
Advanced Internet protocols, services, and applications
Autor: Oki, Eiji, 1969-
Vydáno: (2012) -
NGN architectures, protocols and services /
Autor: Janevski, Toni
Vydáno: (2014) -
NGN architectures, protocols and services /
Autor: Janevski, Toni
Vydáno: (2014)