Specification and Compositional Verification of Real-time Systems - Lecture Notes in Computer Science - Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands) - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540549475 - November 27, 1991
In case cover and title do not match, the title is correct

Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands)
Specification and Compositional Verification of Real-time Systems - Lecture Notes in Computer Science 1991 edition

Price
Íkr 6,829
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Presents two formal methods for the specification and compositional verification of real-time systems, which include a real-time extension of temporal logic and the other based on extended Hoare triples.

242 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 27, 1991
ISBN13 9783540549475
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 242
Dimensions 156 × 234 × 13 mm   ·   358 g
Language English  

Mere med samme udgiver

See all of Hooman, Jozef (Katholieke Universiteit Nijmegen, the Netherlands) ( e.g. Paperback Book )