电子书 > 科学 > 计算机科学 > 计算机科学 > Paul Boca & Jonathan P. Bowen: Formal Methods: State of the Art and New Directions (PDF)

Paul Boca & Jonathan P. Bowen
Formal Methods: State of the Art and New Directions [PDF ebook]

支持

的封面 Paul Boca & Jonathan P. Bowen: Formal Methods: State of the Art and New Directions (PDF)

€96.29

表中的内容

Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.

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

语言英语 ● 格式 PDF ● 网页 273 ● ISBN 9781848827363 ● 文件大小 3.1 MB ● 编辑 Paul Boca & Jonathan P. Bowen ● 出版者 Springer London ● 市 London ● 国家 GB ● 发布时间 2009 ● 下载 24 个月 ● 货币 EUR ● ID 2151992 ● 复制保护 社会DRM

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

Paul Boca Jonathan P. Bowen Jawed Siddiqi

16,570 此类电子书

的封面 Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

的封面 Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

的封面 Sanket Subhash Khandare: Mastering Large Language Models

Sanket Subhash Khandare: Mastering Large Language Models

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and implementi …

的封面 Dr. Harsh Bhasin: Machine Learning for Beginners - 2nd Edition

Dr. Harsh Bhasin: Machine Learning for Beginners – 2nd Edition

The second edition of "Machine Learning for Beginners" addresses key concepts and subjects in machine learning. The book begins with an introduction to the foundational principles of machin …

的封面 Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

This book covers a wide range of topics starting with the introduction of web applications, including client-side and server-side scripting, different categories of web applications, and the installa …

的封面 Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

的封面 Martin Krist: Effective Use of Teams for IT Audits

Martin Krist: Effective Use of Teams for IT Audits

Most organizations find that an empowered team will improve the effectiveness of the IT auditing function. Such a team has the appropriate authority, resources, and skills to perform a project, deter …

的封面 David J. Eck: The Most Complex Machine

David J. Eck: The Most Complex Machine

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

的封面 S. Asha & A. Roshni: Progressions made in Cyber-Security World

S. Asha & A. Roshni: Progressions made in Cyber-Security World

SERI-2021 was a success with the presence of our valuable Guest Speakers who lead the discussion in various session in just the right direction showering the audiences with their esteemed valuable kn …

的封面 Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …