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"--
Saved in:
Main Author: | Tari, Zahir |
---|---|
Other Authors: | Mukherjee, Anshuman, Bertók, Péter, 1952- |
Format: | Electronic eBook |
Language: | English |
Published: |
Hoboken, New Jersey :
Wiley,
[2014]
|
Series: | Wiley series on parallel and distributed computing ;
83 |
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Verification of communication protocols in web services : model-checking service compositions /
by: Tari, Zahir
Published: (2014)
by: Tari, Zahir
Published: (2014)
Advanced Internet protocols, services, and applications
by: Oki, Eiji, 1969-
Published: (2012)
by: Oki, Eiji, 1969-
Published: (2012)
Advanced Internet protocols, services, and applications
by: Oki, Eiji, 1969-
Published: (2012)
by: Oki, Eiji, 1969-
Published: (2012)
NGN architectures, protocols and services /
by: Janevski, Toni
Published: (2014)
by: Janevski, Toni
Published: (2014)
NGN architectures, protocols and services /
by: Janevski, Toni
Published: (2014)
by: Janevski, Toni
Published: (2014)
IPv6 advanced protocols implementation
by: Li, Qing, 1971-
Published: (2007)
by: Li, Qing, 1971-
Published: (2007)
IPv6 advanced protocols implementation
by: Li, Qing, 1971-
Published: (2007)
by: Li, Qing, 1971-
Published: (2007)
Advanced transport protocols designing the next generation /
by: Exposito, Ernesto
Published: (2013)
by: Exposito, Ernesto
Published: (2013)
Advanced transport protocols designing the next generation /
by: Exposito, Ernesto
Published: (2013)
by: Exposito, Ernesto
Published: (2013)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
by: Bookham, Colin
Published: (2014)
by: Bookham, Colin
Published: (2014)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
by: Bookham, Colin
Published: (2014)
by: Bookham, Colin
Published: (2014)
IPv6 core protocols implementation
by: Li, Qing, 1971-
Published: (2007)
by: Li, Qing, 1971-
Published: (2007)
IPv6 core protocols implementation
by: Li, Qing, 1971-
Published: (2007)
by: Li, Qing, 1971-
Published: (2007)
Cisco IP routing protocols troubleshooting techniques /
by: Anand, V. (Vijay)
Published: (2004)
by: Anand, V. (Vijay)
Published: (2004)
Cisco IP routing protocols troubleshooting techniques /
by: Anand, V. (Vijay)
Published: (2004)
by: Anand, V. (Vijay)
Published: (2004)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
by: Nedelcu, Clément
Published: (2010)
by: Nedelcu, Clément
Published: (2010)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
by: Nedelcu, Clément
Published: (2010)
by: Nedelcu, Clément
Published: (2010)
Understanding LDAP design and implementation
Published: (2004)
Published: (2004)
Using LDAP for directory integration
by: Tuttle, Steven
Published: (2004)
by: Tuttle, Steven
Published: (2004)
Understanding LDAP design and implementation
Published: (2004)
Published: (2004)
Using LDAP for directory integration
by: Tuttle, Steven
Published: (2004)
by: Tuttle, Steven
Published: (2004)
Java 2 network protocols black book
by: Williams, Al, 1963-
Published: (2001)
by: Williams, Al, 1963-
Published: (2001)
Java 2 network protocols black book
by: Williams, Al, 1963-
Published: (2001)
by: Williams, Al, 1963-
Published: (2001)
Multiple access channels theory and practice /
Published: (2007)
Published: (2007)
Multiple access channels theory and practice /
Published: (2007)
Published: (2007)
Programmable networks for IP service deployment
Published: (2004)
Published: (2004)
Programmable networks for IP service deployment
Published: (2004)
Published: (2004)
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 /
by: Muniz, Joseph
Published: (2013)
by: Muniz, Joseph
Published: (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 /
by: Muniz, Joseph
Published: (2013)
by: Muniz, Joseph
Published: (2013)
Communicating systems with UML 2 modeling and analysis of network protocols /
by: Garduno Barrera, David
Published: (2011)
by: Garduno Barrera, David
Published: (2011)
Communicating systems with UML 2 modeling and analysis of network protocols /
by: Garduno Barrera, David
Published: (2011)
by: Garduno Barrera, David
Published: (2011)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
by: Baxter, James H.
Published: (2014)
by: Baxter, James H.
Published: (2014)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
by: Baxter, James H.
Published: (2014)
by: Baxter, James H.
Published: (2014)
Understanding SIP servlets 1.1
by: Boulton, Chris (Christopher James)
Published: (2009)
by: Boulton, Chris (Christopher James)
Published: (2009)
Understanding SIP servlets 1.1
by: Boulton, Chris (Christopher James)
Published: (2009)
by: Boulton, Chris (Christopher James)
Published: (2009)
V5 TCP/IP applications on the IBM e-server iSeries server
Published: (2004)
Published: (2004)
V5 TCP/IP applications on the IBM e-server iSeries server
Published: (2004)
Published: (2004)
Mastering OpenLDAP configuring, securing, and integrating directory services /
by: Butcher, Matt
Published: (2007)
by: Butcher, Matt
Published: (2007)
Mastering OpenLDAP configuring, securing, and integrating directory services /
by: Butcher, Matt
Published: (2007)
by: Butcher, Matt
Published: (2007)
SIP understanding the Session Initiation Protocol /
by: Johnston, Alan B.
Published: (2009)
by: Johnston, Alan B.
Published: (2009)
Similar Items
-
Verification of communication protocols in web services : model-checking service compositions /
by: Tari, Zahir
Published: (2014) -
Advanced Internet protocols, services, and applications
by: Oki, Eiji, 1969-
Published: (2012) -
Advanced Internet protocols, services, and applications
by: Oki, Eiji, 1969-
Published: (2012) -
NGN architectures, protocols and services /
by: Janevski, Toni
Published: (2014) -
NGN architectures, protocols and services /
by: Janevski, Toni
Published: (2014)