著者:Michael Butler, Wolfram Schulte
出版社: SPRINGER NATURE
ISBN: 9783642214363
発売日: 2011年
著者:Cosimo Laneve, Jianwen Su
出版社: SPRINGER NATURE
ISBN: 9783642144578
発売日: 2010年
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and sele……
続きを見る
著者:Paul Nahin, Andrew Simoson
出版社: PRINCETON UNIV PR
ISBN: 9780691235318
発売日: 2024年
著者:Yit Lin Michael Chew
出版社: WORLD SCIENTIFIC PUB CO INC
ISBN: 9789811278525
発売日: 2023年
著者:Simone Fm Spinner
出版社: HISTORY PR
ISBN: 9781467137355
発売日: 2018年