Real time systems specification verification (20 Ergebnisse)

Paperback. Zustand: Very Good. No Dust Jacket. Lecture Notes in Computer Science 558; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.…

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Zustand: New.

Paperback. Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This monograph presents two formal methods for the specification and compositional verification of real-time systems. One uses a real-time extension of temporal logic and the other is based on extended Hoare triples. Programs consist of concurrent processes with synchronous message passing. The maximal parallelism model is extended to multiprogramming. …

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Taschenbuch. Zustand: Neu. Specification and Compositional Verification of Real-Time Systems | Jozef Hooman | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540549475 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Kartoniert / Broschiert. Zustand: New. The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of s.

Zustand: New. Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Num Pages: 344 pages, 26 b/w illus. 26 tables 50 exercises. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 180 x 249 x 18. Weight in Grams: 810. . 2008. 1st Edition. hardcover. . . . . …

Taschenbuch. Zustand: Neu. Specification and Seamless Verification ofEmbedded Real-Time Systems | FOCUS on Isabelle | Maria Spichkova | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783836494526 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu. …

Paperback. Zustand: New.

Zustand: New. Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Num Pages: 344 pages, 26 b/w illus. 26 tables 50 exercises. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 180 x 249 x 18. Weight in Grams: 810. . 2008. 1st Edition. hardcover. . . . . Books ship from the US and Ireland. …

Hardcover. Zustand: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Hardcover. Zustand: gut. 2008. Real-Time Systems: Formal Specification and Automatic Verification In englischer Sprache. pages.