电子书 > 科学 > 计算机科学 > 应用软件 > Chris George & Huaikou Miao: Formal Methods and Software Engineering (PDF)

Chris George & Huaikou Miao
Formal Methods and Software Engineering [PDF ebook]
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

支持

的封面 Chris George & Huaikou Miao: Formal Methods and Software Engineering (PDF)

€114.70

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

语言英语 ● 格式 PDF ● ISBN 9783540361039 ● 编辑 Chris George & Huaikou Miao ● 出版者 Springer Berlin Heidelberg ● 发布时间 2003 ● 下载 3 时 ● 货币 EUR ● ID 6376148 ● 复制保护 Adobe DRM

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

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

Chris George Huaikou Miao

16,612 此类电子书

的封面 Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

的封面 Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

的封面 Jessica Keyes: Software Configuration Management

Jessica Keyes: Software Configuration Management

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framew …

的封面 Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Gilbert (4-Degree Consulting, Macon, Georgia, USA) Held: Enhancing LAN Performance

Enhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devic …

的封面 Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

Mohd Fadzil Hassan & Fausto Pedro Garcia Marquez: Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

的封面 M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

的封面 Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …

的封面 Adam Aspin: Querying MySQL

Adam Aspin: Querying MySQL

This book will take you on an interactive journey to understand SQL querying from the most basic to the most expert level utilising a variety of SQL techniques to extract relevant insights from your …

的封面 Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

的封面 Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Take a hands-on approach to understanding deep learning and build smart applications that can recognize images and interpret text Key Features

Understand how to implement deep learning with …