Електронна книга > Наука > Інформатика > Прикладне програмне забезпечення > Jean-Raymond Abrial: Modeling in Event-B (PDF)

Jean-Raymond Abrial
Modeling in Event-B [PDF ebook]
System and Software Engineering

Підтримка

Обкладинка Jean-Raymond Abrial: Modeling in Event-B (PDF)

€156.15

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9780511731228 ● Видавець Cambridge University Press ● Опубліковано 2010 ● Завантажувані 6 разів ● Валюта EUR ● Посвідчення особи 2336579 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Jean-Raymond Abrial

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 …

Обкладинка Lukasz Gasior: ReSharper Essentials

Lukasz Gasior: ReSharper Essentials

In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …

Обкладинка 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 …

Обкладинка Frank M. (Ball State University, Muncie, Indiana, USA) Groom & Stephan S. Jones: Enterprise Cloud Computing for Non-Engineers

Frank M. (Ball State University, Muncie, Indiana, USA) Groom & Stephan S. Jones: Enterprise Cloud Computing for Non-Engineers

This book provides a technical description of cloud computing technologies, covering cloud infrastructure and platform services. It then addresses the basics of operating a Cloud computing data cente …

Обкладинка 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 …

Обкладинка Charles V. Breakfield & Roxanne Burkey: Designing a Total Data Solution

Charles V. Breakfield & Roxanne Burkey: Designing a Total Data Solution

Your company”s global competitiveness depends on the utilization and maintenance of information. Current data handling practices-storing, updating, and accessing data-can be either a problem or a si …

Обкладинка Zachary Shute: Advanced JavaScript

Zachary Shute: Advanced JavaScript

Gain a deeper understanding of Java Script and apply it to build small applications in backend, frontend, and mobile frameworks. Key Features

Explore the new ES6 syntax, the event loop, and …

Обкладинка 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 …

Обкладинка Byron DeVries & Paul C. (Grand Valley State University, Allendale, Michigan, USA) Jorgensen: Software Testing

Byron DeVries & Paul C. (Grand Valley State University, Allendale, Michigan, USA) Jorgensen: Software Testing

This updated and reorganized Fifth edition of Software Testing: A Craftsman”s Approach continues to be a valuable reference for software testers, developers, and engineers, by applying the strong ma …

Обкладинка 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 …

Наступна сторінка >>>