Ditemukan 4 dokumen yang sesuai dengan query
Hennie, Frederick C., author
New York: John Wiley & Sons, 1968
621.815 HEN f
Buku Teks Universitas Indonesia Library
Carroll, John, author
Englewood Cliffs, NJ: Prentice-Hall, 1989
511.3 CAR t
Buku Teks Universitas Indonesia Library
Kohavi, Zvi, author
New Delhi: Tata McGraw-Hill, 1982
511.35 KOH a
Buku Teks Universitas Indonesia Library
This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various...
Singapore: Springer Nature, 2019
e20509422
eBooks Universitas Indonesia Library
