Joost-Pieter Katoen & Rom Langerak 
ModelEd, TestEd, TrustEd [EPUB ebook] 
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

поддержка
Обложка Joost-Pieter Katoen & Rom Langerak: ModelEd, TestEd, TrustEd (ePUB)

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed’s former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed’s terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

€57.81
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат EPUB ● ISBN 9783319682709 ● редактор Joost-Pieter Katoen & Rom Langerak ● издатель Springer International Publishing ● опубликованный 2017 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6210825 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Joost-Pieter KatoenRom LangerakArend Rensink

74 365 Электронные книги в этой категории

Обложка 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 …
EPUB
Adobe DRM
€20.49
Обложка El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct
El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide — An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct
Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner»s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …
EPUB
Adobe DRM
€6.35
Обложка Shalin Hai-Jew: Design Strategies and Innovations in Multimedia Presentations
Shalin Hai-Jew: Design Strategies and Innovations in Multimedia Presentations
EPUB
Adobe DRM
€286.88
Обложка Markus Spohrer: Analytical Frameworks, Applications, and Impacts of ICT and Actor-Network Theory
Markus Spohrer: Analytical Frameworks, Applications, and Impacts of ICT and Actor-Network Theory
EPUB
Adobe DRM
€223.07
Обложка Atilla Elci & Ashish Kumar Luhach: Artificial Intelligence Paradigms for Smart Cyber-Physical Systems
Atilla Elci & Ashish Kumar Luhach: Artificial Intelligence Paradigms for Smart Cyber-Physical Systems
Cyber-physical systems (CPS) have emerged as a unifying name for systems where cyber parts (i.e., the computing and communication parts) and physical parts are tightly integrated, both in design and …
EPUB
Adobe DRM
€319.56
Обложка Ulf Mattsson: Controlling Privacy and the Use of Data Assets - Volume 1
Ulf Mattsson: Controlling Privacy and the Use of Data Assets — Volume 1
‘Ulf Mattsson leverages his decades of experience as a CTO and security expert to show how companies can achieve data compliance without sacrificing operability.’
  • Jim Ambrosini, CISSP, CRISC …
EPUB
Adobe DRM
€49.95
Обложка Soon Ae Chun & Shishir K. Shandilya: Internet of Things Security
Soon Ae Chun & Shishir K. Shandilya: Internet of Things Security
Internet of Things (Io T) security deals with safeguarding the devices and communications of Io T systems, by implementing protective measures and avoiding procedures which can lead to intrusions and …
EPUB
Adobe DRM
€111.95
Обложка Mark Powell: Fifth Phase
Mark Powell: Fifth Phase
The connected world offers the potential for radical new business insights gleaned from previously unimaginable volumes of data. But business has got bogged down in the process of collecting and stor …
EPUB
Adobe DRM
€12.70
Обложка Nidhi Arora: Trackpad Ver. 2.0 Class 1
Nidhi Arora: Trackpad Ver. 2.0 Class 1
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 …
EPUB
Adobe DRM
€20.61
Обложка Nidhi Arora: Trackpad Ver. 2.0 Class 4
Nidhi Arora: Trackpad Ver. 2.0 Class 4
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 …
EPUB
Adobe DRM
€20.38
Следущая страница >>>