Електронна книга > Наука > Інформатика > Інформатика > Chris George & Zhiming Liu: Domain Modeling and the Duration Calculus (PDF)

Chris George & Zhiming Liu
Domain Modeling and the Duration Calculus [PDF ebook]
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Підтримка

Обкладинка Chris George & Zhiming Liu: Domain Modeling and the Duration Calculus (PDF)

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.

€63.06

Зміст

Delivering Real-Time Behaviour.- Applicative Modelling with RAISE.- A Theory of Duration Calculus with Application.- Understanding Programming Language Concepts Via Operational Semantics.

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

Мова Англійська ● Формат PDF ● Сторінки 240 ● ISBN 9783540749646 ● Розмір файлу 3.4 MB ● Редактор Chris George & Zhiming Liu ● Видавець Springer Berlin ● Місто Heidelberg ● Країна DE ● Опубліковано 2007 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2163736 ● Захист від копіювання Adobe DRM

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

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

Chris George Zhiming Liu James Woodcock

16 615 Електронні книги в цій категорі

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

Обкладинка Swapnali Joshi Naik: Think AI

Swapnali Joshi Naik: Think AI

"Think AI" is a rapid-learning book that covers a wide range of Artificial Intelligence topics, including Machine Learning, Deep Learning, Computer Vision, and Natural Language Processing. …

Обкладинка Pratheerth Padman: Learn Data Science from Scratch

Pratheerth Padman: Learn Data Science from Scratch

Learn Data Science from Scratch equips you with the essential tools and techniques, from Python libraries to machine learning algorithms, to tackle real-world problems and make informed decisions.Thi …

Обкладинка Suman Dutta: Immersive Realm of Extended Reality

Suman Dutta: Immersive Realm of Extended Reality

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

Обкладинка Raman Jhajj: Mastering MLOps Architecture

Raman Jhajj: Mastering MLOps Architecture

MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …

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

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

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

Обкладинка R.W Hockney & C.R Jesshope: Parallel Computers 2

R.W Hockney & C.R Jesshope: Parallel Computers 2

Since the publication of the first edition, parallel computing technology has gained considerable momentum. A large proportion of this has come from the improvement in VLSI techniques, offering one t …

Обкладинка Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

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