Code: 08746908
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
by Georgios Logothetis
This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and ru ... more
- Language:
English - Binding: Paperback
- Number of pages: 202
Publisher: IOS PRESS, 2004
- More about this
You might also like
-
Innocents Born
24.44 € -2 % -
What! Do You Think God Hates You?
14.23 € -
I Remember You
16.76 € -2 % -
Mystical Connection
41.10 € -
Ignoring Poverty in the U.S.
116.97 € -
Window To My Soul
20.60 € -2 % -
Now That You Are Awake
20.60 € -2 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
You get 190 loyalty points
Book synopsis
This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-tim
Book details
Book category Books in English Computing & information technology Computer science Computer architecture & logic design
75.65 €
- Full title: Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
- Author: Georgios Logothetis
- Language: English
- Binding: Paperback
- Number of pages: 202
- EAN: 9781586034139
- ISBN: 9781586034139
- ID: 08746908
- Publisher: IOS PRESS
- Weight: 300 g
- Dimensions: 210 × 148 × 10 mm
- Date of publishing: 07. April 2004
Trending among others
-
Professional Assembly Language
28.28 € -28 % -
Principles of Computer Hardware
109.90 € -5 % -
Computer Organization and Design MIPS Edition
88.58 € -9 % -
Computer Architecture
98.89 € -7 % -
Professional CUDA C Programming
44.94 € -25 % -
Mastering KVM Virtualization
56.96 € -
Solutions Architect's Handbook
92.22 € -
Art of Scalability, The
44.54 € -2 % -
Distributed Algorithms
55.75 € -16 % -
Frontend Architecture for Design Systems
27.57 € -18 % -
Modeling Enterprise Architecture with TOGAF
58.28 € -
Assembly Language Step-by-Step - Programming with Linux 3e
49.99 € -23 % -
Development and Deployment of Multiplayer Online Games, Vol. I
32.62 € -19 % -
Art Of Assembly Language, 2nd Edition
57.17 € -28 % -
Learning Malware Analysis
56.05 € -
Solutions Architect's Handbook
56.96 € -
Structured Computer Organization
103.84 € -
Programming the 65816: Including the 6502, 65c02, and 65802
44.94 € -2 % -
CUDA Programming
45.14 € -5 % -
VMware Performance and Capacity Management -
68.08 € -
CUDA Fortran for Scientists and Engineers
86.06 € -
Docker for Developers
45.85 € -
Boost.Asio C++ Network Programming Cookbook
56.96 € -
Quantum Computing
37.16 € -28 % -
Raspberry Pi User Guide 4e
25.24 € -18 % -
Mastering Docker
45.85 € -
Practice of Enterprise Architecture
65.95 € -
GNU GRUB Manual
16.86 € -
CLEAN ARCHITECTURE
35.35 € -18 % -
Parallel Programming in OpenMP
60.70 € -4 % -
Architecting Google Cloud Solutions
50.90 € -
Model-based System and Architecture Engineering with the Arcadia Method
170.21 € -
Digital Manufacturing
16.05 € -4 % -
Network and System Security
74.04 € -
Building Your Next Big Thing with Google Cloud Platform
36.86 € -19 % -
Service-Oriented Architecture (paperback)
67.07 € -
Computer Systems
263.75 € -
System Designer's Guide to VHDL-AMS
108.08 € -
Digital Design and Computer Architecture, RISC-V Edition
113.33 € -
Assembly Language for x86 Processors, Global Edition
105.65 € -
Parallel Computing
90.10 € -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
142.63 € -
CUDA by Example
51.81 € -
Web Services
76.36 € -
TOGAF (R) Standard, Version 9.2 - A Pocket Guide
25.35 € -
Puppet for Containerization
50.90 € -
Art of Systems Architecting
168.18 € -
Graph Algorithms in the Language of Linear Algebra
148.69 € -
Modern Embedded Computing
74.44 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)