电子书 > 科学 > 计算机科学 > Marco Bernardo & Luca Padovani: Formal Methods for Web Services (PDF)

Marco Bernardo & Luca Padovani
Formal Methods for Web Services [PDF ebook]
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

支持

的封面 Marco Bernardo & Luca Padovani: Formal Methods for Web Services (PDF)

€54.12

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783642019180 ● 编辑 Marco Bernardo & Luca Padovani ● 出版者 Springer Berlin Heidelberg ● 发布时间 2009 ● 下载 3 时 ● 货币 EUR ● ID 2170590 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Marco Bernardo Luca Padovani Gianluigi Zavattaro

74,471 此类电子书

的封面 Nidhi Arora: Trackpad Ver. 2.0 Class 7

Nidhi Arora: Trackpad Ver. 2.0 Class 7

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

的封面 Abhay Bhargav: PCI Compliance

Abhay Bhargav: PCI Compliance

Although organizations that store, process, or transmit cardholder information are required to comply with payment card industry standards, most find it extremely challenging to comply with and meet …

的封面 Nidhi Arora: Trackpad Ver. 1.0 Class 5

Nidhi Arora: Trackpad Ver. 1.0 Class 5

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

的封面 JaagoTeens: Cyber Safety for Everyone - 3rd Edition

JaagoTeens: Cyber Safety for Everyone – 3rd Edition

This book is a step-by-step guide that handholds you through all the essential aspects of internet safety. The content is presented in a simple and easy-to-understand manner. True incidents, practica …

的封面 Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 5

Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 5

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

的封面 Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Computer Science Textbook with New Pedagogical Approaches KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickiped …

的封面 Wendy Despain: Writing for Video Game Genres

Wendy Despain: Writing for Video Game Genres

This book, written and edited by members of the International Game Developers Association (IGDA) Game Writing Special Interest Group, follows the acclaimed Professional Techniques for Video Game Writ …

的封面 Ken Huang: Beginning with Web3

Ken Huang: Beginning with Web3

This book offers a clear, easy-to-understand introduction to the core concepts of Web3 and blockchain technology, setting the stage for anyone looking to dive into the development of decentralized ap …

的封面 Keith Johnson: 365 Technical Writing Tips

Keith Johnson: 365 Technical Writing Tips

This book is not just for Tech Writers. It is for all writers who need to compose a technical document. May the writing-force be with you! …

的封面 S. Bharath Bhushan & Sam Goundar: Architecture and Security Issues in Fog Computing Applications

S. Bharath Bhushan & Sam Goundar: Architecture and Security Issues in Fog Computing Applications

As the progression of the internet continues, society is finding easier, quicker ways of simplifying their needs with the use of technology. With the growth of lightweight devices, such as smart phon …