电子书 > 科学 > 计算机科学 > 应用软件 > Corina S Pasareanu: Model Checking Software (PDF)

Corina S Pasareanu
Model Checking Software [PDF ebook]
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

支持

的封面 Corina S Pasareanu: Model Checking Software (PDF)

€57.91

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

语言英语 ● 格式 PDF ● ISBN 9783642026522 ● 编辑 Corina S Pasareanu ● 出版者 Springer Berlin Heidelberg ● 发布时间 2009 ● 下载 3 时 ● 货币 EUR ● ID 2170774 ● 复制保护 Adobe DRM

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

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

Corina S Pasareanu Corina S. Păsăreanu

16,941 此类电子书

的封面 Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

的封面 Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

C# 11 is the latest version of C#, a popular programming language for building cloud, web, and desktop applications. It is a powerful and versatile language that can create a wide range of applicatio …

的封面 Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

的封面 Howard Anderson & Bruce Hellingsworth: Higher National Computing

Howard Anderson & Bruce Hellingsworth: Higher National Computing

Higher National Computing 2e is a new edition of this extremely successful course book, updated specifically to cover the compulsory core units of the 2003 BTEC Higher National Computing schemes. Ful …

的封面 Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection

Latifur (University of Texas at Dallas, Richardson, Texas, USA) Khan & Mohammad Mehedy Masud: Big Data Analytics with Applications in Insider Threat Detection

Today”s malware mutates randomly to avoid detection, but reactively adaptive malware is more intelligent, learning and adapting to new computer defenses on the fly. Using the same algorithms that an …

的封面 Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

的封面 Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

A beginner”s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

Explore data …

的封面 Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

的封面 Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …

的封面 Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …