Hasil Pencarian

Ditemukan 10 dokumen yang sesuai dengan query

Hennie, Frederick C., author

Finite-state models for logical machines

New York: John Wiley & Sons, 1968

621.815 HEN f

Buku Teks Universitas Indonesia Library

Carroll, John, author

Theory of finite automata: with an introduction to formal languages

Englewood Cliffs, NJ: Prentice-Hall, 1989

511.3 CAR t

Buku Teks Universitas Indonesia Library

Kurmit, Avgust Avgustovich, author

Information-lossless automata of finite order

New York : John Wiley & Sons, [Date of publication not identified]

629.891 KUR i

Buku Teks Universitas Indonesia Library

Webservices: theory and practice

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