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:
| 主要作者: | |
|---|---|
| 其他作者: | , |
| 格式: | 電子 電子書 |
| 語言: | 英语 |
| 出版: |
Hoboken, New Jersey :
Wiley,
[2014]
|
| 叢編: | Wiley series on parallel and distributed computing ;
83 |
| 主題: | |
| 在線閱讀: | An electronic book accessible through the World Wide Web; click to view |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
Verification of communication protocols in web services : model-checking service compositions /
由: Tari, Zahir
出版: (2014)
由: Tari, Zahir
出版: (2014)
Advanced Internet protocols, services, and applications
由: Oki, Eiji, 1969-
出版: (2012)
由: Oki, Eiji, 1969-
出版: (2012)
Advanced Internet protocols, services, and applications
由: Oki, Eiji, 1969-
出版: (2012)
由: Oki, Eiji, 1969-
出版: (2012)
NGN architectures, protocols and services /
由: Janevski, Toni
出版: (2014)
由: Janevski, Toni
出版: (2014)
NGN architectures, protocols and services /
由: Janevski, Toni
出版: (2014)
由: Janevski, Toni
出版: (2014)
IPv6 advanced protocols implementation
由: Li, Qing, 1971-
出版: (2007)
由: Li, Qing, 1971-
出版: (2007)
IPv6 advanced protocols implementation
由: Li, Qing, 1971-
出版: (2007)
由: Li, Qing, 1971-
出版: (2007)
Advanced transport protocols designing the next generation /
由: Exposito, Ernesto
出版: (2013)
由: Exposito, Ernesto
出版: (2013)
Advanced transport protocols designing the next generation /
由: Exposito, Ernesto
出版: (2013)
由: Exposito, Ernesto
出版: (2013)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
由: Bookham, Colin
出版: (2014)
由: Bookham, Colin
出版: (2014)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
由: Bookham, Colin
出版: (2014)
由: Bookham, Colin
出版: (2014)
IPv6 core protocols implementation
由: Li, Qing, 1971-
出版: (2007)
由: Li, Qing, 1971-
出版: (2007)
IPv6 core protocols implementation
由: Li, Qing, 1971-
出版: (2007)
由: Li, Qing, 1971-
出版: (2007)
Cisco IP routing protocols troubleshooting techniques /
由: Anand, V. (Vijay)
出版: (2004)
由: Anand, V. (Vijay)
出版: (2004)
Cisco IP routing protocols troubleshooting techniques /
由: Anand, V. (Vijay)
出版: (2004)
由: Anand, V. (Vijay)
出版: (2004)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
由: Nedelcu, Clément
出版: (2010)
由: Nedelcu, Clément
出版: (2010)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
由: Nedelcu, Clément
出版: (2010)
由: Nedelcu, Clément
出版: (2010)
Understanding LDAP design and implementation
出版: (2004)
出版: (2004)
Using LDAP for directory integration
由: Tuttle, Steven
出版: (2004)
由: Tuttle, Steven
出版: (2004)
Using LDAP for directory integration
由: Tuttle, Steven
出版: (2004)
由: Tuttle, Steven
出版: (2004)
Understanding LDAP design and implementation
出版: (2004)
出版: (2004)
Java 2 network protocols black book
由: Williams, Al, 1963-
出版: (2001)
由: Williams, Al, 1963-
出版: (2001)
Java 2 network protocols black book
由: Williams, Al, 1963-
出版: (2001)
由: Williams, Al, 1963-
出版: (2001)
Programmable networks for IP service deployment
出版: (2004)
出版: (2004)
Programmable networks for IP service deployment
出版: (2004)
出版: (2004)
Multiple access channels theory and practice /
出版: (2007)
出版: (2007)
Multiple access channels theory and practice /
出版: (2007)
出版: (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 /
由: Muniz, Joseph
出版: (2013)
由: Muniz, Joseph
出版: (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 /
由: Muniz, Joseph
出版: (2013)
由: Muniz, Joseph
出版: (2013)
Communicating systems with UML 2 modeling and analysis of network protocols /
由: Garduno Barrera, David
出版: (2011)
由: Garduno Barrera, David
出版: (2011)
Communicating systems with UML 2 modeling and analysis of network protocols /
由: Garduno Barrera, David
出版: (2011)
由: Garduno Barrera, David
出版: (2011)
Understanding SIP servlets 1.1
由: Boulton, Chris (Christopher James)
出版: (2009)
由: Boulton, Chris (Christopher James)
出版: (2009)
Understanding SIP servlets 1.1
由: Boulton, Chris (Christopher James)
出版: (2009)
由: Boulton, Chris (Christopher James)
出版: (2009)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
由: Baxter, James H.
出版: (2014)
由: Baxter, James H.
出版: (2014)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
由: Baxter, James H.
出版: (2014)
由: Baxter, James H.
出版: (2014)
V5 TCP/IP applications on the IBM e-server iSeries server
出版: (2004)
出版: (2004)
V5 TCP/IP applications on the IBM e-server iSeries server
出版: (2004)
出版: (2004)
Mastering OpenLDAP configuring, securing, and integrating directory services /
由: Butcher, Matt
出版: (2007)
由: Butcher, Matt
出版: (2007)
Mastering OpenLDAP configuring, securing, and integrating directory services /
由: Butcher, Matt
出版: (2007)
由: Butcher, Matt
出版: (2007)
SIP understanding the Session Initiation Protocol /
由: Johnston, Alan B.
出版: (2009)
由: Johnston, Alan B.
出版: (2009)