Web Services and Formal Methods

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Dumas, Marlon, Heckel, Reiko
Format:	Książka
Język:	English
Wydane:	Springer Berlin Heidelberg 2020
Hasła przedmiotowe:	Computer Science Theory of Computation Popular Computer Science
Dostęp online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82268
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Podobne zapisy

Web Services and Formal Methods
Wydane: (2020)

Formal Methods for Web Services
Wydane: (2020)

Formal Methods for Performance Evaluation
od: Bernardo, Marco, i wsp.
Wydane: (2020)

Formal Methods: Applications and Technology
od: Brim, Lubos, i wsp.
Wydane: (2020)

Formal Methods: Foundations and Applications
od: Cavalheiro, Simone, i wsp.
Wydane: (2020)

The Semantic Web
od: Kashyap, Vipul, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Davies, Jim, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Romijn, Judi M.T., i wsp.
Wydane: (2020)

Semantic Web and Databases
Wydane: (2020)

Formal Methods for Industrial Critical Systems
od: Leue, Stefan, i wsp.
Wydane: (2020)

Industrial Applications of Semantic Web
od: Terziyan, Vagan
Wydane: (2020)

The Semantic Web: Research and Applications
Wydane: (2020)

Semantic Web: Concepts, Technologies and Applications
od: Breitman, Karin, i wsp.
Wydane: (2020)

Formal Methods and Stochastic Models for Performance Evaluation
od: Wolter, Katinka
Wydane: (2020)

Teaching Formal Methods
Wydane: (2020)

Advances in Web-Age Information Management
od: Fan, Wenfei, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Ahrendt, Wolfgang, i wsp.
Wydane: (2020)

Information Sharing on the Semantic Web
Wydane: (2020)

Formal Methods in Systems Biology
od: Fisher, Jasmin
Wydane: (2020)

Structured Object-Oriented Formal Language and Method
od: Liu, Shaoying, i wsp.
Wydane: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Wydane: (2020)

ZB 2005: Formal Specification and Development in Z and B
Wydane: (2020)

Computers and Games
od: Herik, H. Jaap van den, i wsp.
Wydane: (2020)

Advances in Computer Games
od: Herik, H. Jaap van den, i wsp.
Wydane: (2020)

Formal Methods for Mobile Computing
Wydane: (2020)

The Semantic Web - ISWC 2004
od: McIlraith, Sheila A., i wsp.
Wydane: (2020)

On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
od: Tari, Zahir
Wydane: (2020)

Trust Management for Service-Oriented Environments
od: Malik, Zaki, i wsp.
Wydane: (2020)

Service Availability
od: Malek, Miroslaw, i wsp.
Wydane: (2020)

Service Availability
od: Nanya, Takashi, i wsp.
Wydane: (2020)

LaTeX in 24 Hours. 1st ed.
od: Datta, Dilip
Wydane: (2020)

Formal Aspects of Component Software
od: Arbab, Farhad, i wsp.
Wydane: (2020)

Resilient Networks and Services
od: Hausheer, David, i wsp.
Wydane: (2020)

FM 2008: Formal Methods
od: Cuellar, Jorge, i wsp.
Wydane: (2020)

Practical Internet Security
od: Vacca, John R.
Wydane: (2020)

Peer-to-Peer Systems and Applications
od: Steinmetz, Ralf, i wsp.
Wydane: (2020)

Internet and Network Economics
od: Deng, Xiaotie, i wsp.
Wydane: (2020)

Services Computing
od: Zhang, Liang-Jie, i wsp.
Wydane: (2020)

Quality of Service in Heterogeneous Networks
Wydane: (2020)

Formal Foundations of Reuse and Domain Engineering
Wydane: (2020)