Formal Methods for Web Services 비슷한 책 더 보기

Web Services, Formal Methods, and Behavioral Types Web Services, Formal Methods, and Behavioral Types
Web Services, Formal Methods, and Behavioral Types
2016년
Web Services and Formal Methods Web Services and Formal Methods
Web Services and Formal Methods
2014년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2017년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2020년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2010년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2014년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2019년
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2014년
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011년
Transactions on Petri Nets and Other Models of Concurrency II Transactions on Petri Nets and Other Models of Concurrency II
Transactions on Petri Nets and Other Models of Concurrency II
2009년
Rule Technologies. Research, Tools, and Applications Rule Technologies. Research, Tools, and Applications
Rule Technologies. Research, Tools, and Applications
2016년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2015년
Formal Methods for Components and Objects Formal Methods for Components and Objects
Formal Methods for Components and Objects
2009년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017년
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
2007년