表紙画像

QRコード

Verification of communication protocols in web services : model-checking service compositions /

他のバージョン（1件）を表示する

"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--

保存先:

書誌詳細
第一著者:	Tari, Zahir
その他の著者:	Mukherjee, Anshuman, Bertók, Péter, 1952-
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	Hoboken, New Jersey : Wiley, [2014]
シリーズ:	Wiley series on parallel and distributed computing ; 83
主題:	Web services > Testing. Computer network protocols. Electronic books.
オンライン･アクセス:	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)

Advanced Internet protocols, services, and applications
著者:: Oki, Eiji, 1969-
出版事項: (2012)

Advanced Internet protocols, services, and applications
著者:: Oki, Eiji, 1969-
出版事項: (2012)

NGN architectures, protocols and services /
著者:: Janevski, Toni
出版事項: (2014)

NGN architectures, protocols and services /
著者:: Janevski, Toni
出版事項: (2014)

IPv6 advanced protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)

IPv6 advanced protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)

Advanced transport protocols designing the next generation /
著者:: Exposito, Ernesto
出版事項: (2013)

Advanced transport protocols designing the next generation /
著者:: Exposito, Ernesto
出版事項: (2013)

Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
著者:: Bookham, Colin
出版事項: (2014)

Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
著者:: Bookham, Colin
出版事項: (2014)

IPv6 core protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)

IPv6 core protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)

Cisco IP routing protocols troubleshooting techniques /
著者:: Anand, V. (Vijay)
出版事項: (2004)

Cisco IP routing protocols troubleshooting techniques /
著者:: 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)

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)

Understanding LDAP design and implementation
出版事項: (2004)

Using LDAP for directory integration
著者:: Tuttle, Steven
出版事項: (2004)

Understanding LDAP design and implementation
出版事項: (2004)

Using LDAP for directory integration
著者:: Tuttle, Steven
出版事項: (2004)

Java 2 network protocols black book
著者:: Williams, Al, 1963-
出版事項: (2001)

Java 2 network protocols black book
著者:: Williams, Al, 1963-
出版事項: (2001)

Multiple access channels theory and practice /
出版事項: (2007)

Multiple access channels theory and practice /
出版事項: (2007)

Programmable networks for IP service deployment
出版事項: (2004)

Programmable networks for IP service deployment
出版事項: (2004)

Communicating systems with UML 2 modeling and analysis of network protocols /
著者:: Garduno Barrera, David
出版事項: (2011)

Communicating systems with UML 2 modeling and analysis of network protocols /
著者:: Garduno Barrera, David
出版事項: (2011)

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)

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)

Understanding SIP servlets 1.1
著者:: Boulton, Chris (Christopher James)
出版事項: (2009)

Understanding SIP servlets 1.1
著者:: Boulton, Chris (Christopher James)
出版事項: (2009)

Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
著者:: Baxter, James H.
出版事項: (2014)

Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
著者:: Baxter, James H.
出版事項: (2014)

V5 TCP/IP applications on the IBM e-server iSeries server
出版事項: (2004)

V5 TCP/IP applications on the IBM e-server iSeries server
出版事項: (2004)

Mastering OpenLDAP configuring, securing, and integrating directory services /
著者:: Butcher, Matt
出版事項: (2007)

Mastering OpenLDAP configuring, securing, and integrating directory services /
著者:: Butcher, Matt
出版事項: (2007)

SIP understanding the Session Initiation Protocol /
著者:: Johnston, Alan B.
出版事項: (2009)