Opening book details…
Can I read Real Time Programming : Languages, Specification and Verification on EtoBox?
Real Time Programming : Languages, Specification and Verification by R. K. Shyamasundar, S. Ramesh, Rudrapatna Shyamasundar is a computer science book available to read on EtoBox.
What is Real Time Programming : Languages, Specification and Verification about?
The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far fro
Who reads Real Time Programming : Languages, Specification and Verification?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- R. K. Shyamasundar, S. Ramesh, Rudrapatna Shyamasundar
- Publisher
- World Scientific Publishing Company
- Published
- 2002
- Language
- EN
- ISBN
- 9789812814029
- Category
- computer science
- Subjects
- Computer Science, Mathematics, Programming
- Updated
- 2026-03-25
More by R. K. Shyamasundar, S. Ramesh, Rudrapatna Shyamasundar
Browse all works by R. K. Shyamasundar, S. Ramesh, Rudrapatna Shyamasundar
Similar books
- Real-Time Systems : Formal Specification and Automatic Verification — Ernst-Rüdiger Olderog and Henning Dierks (2008)
- Real-time Systems : Specification, Verification, and Analysis — edited by Mathai Joseph (1995)
- Modeling and Verification of Real-time Systems : Formalisms and Software Tools — edited by Nicolas Navet, Stephan Merz (2008)
- Specification and Verification of Multi-agent Systems — edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (2010)
- Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX — Andy Wellings Alan Burns (2009)
- Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558)) — Jozef Hooman (auth.) (1991)
