Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
9 Angebote vergleichen

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, zzgl. Versandkosten, Verandgebiet: EUR.
Von Händler/Antiquariat, Revival Books Ltd. Lancashire, Waterfoot, [RE:4].
Very Good: a copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Most items will be dispatched the same or the next working day. Hardcover.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, zzgl. Versandkosten, Verandgebiet: EUR.
Von Händler/Antiquariat, Anybook Ltd. Lincoln, [RE:4].
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition., 900grams, ISBN: 9780521883337. Hard cover.

Lieferung aus: Niederlande, 4-8 werkdagen.
Books2Anywhere.
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements sp... Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.Taal: Engels;Afmetingen: 19x247x174 mm;Gewicht: 810,00 gram;Verschijningsdatum: september 2008;ISBN10: 0521883334;ISBN13: 9780521883337; Engelstalig | Hardcover | 2008.

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, DelhiBookStore.
This book provides a structural introduction to program verification. Sequential programs in the form of deterministic and nondeterministic programs, and concurrent programs in the form of parallel and distributed programs, are considered within the context of their partial and total correctness. While other books have covered verification and semantics of sequential programs, this is the first book to address verification and semantics of structured concurrent programs. The book is appropriate for either a one- or two-semester introductory course on program verification for upper division of undergraduate studies or graduate students. It can also be used as an introduction to operational semantics. Outlines of possible one-semester courses are presented in the preface of the book. Within these chapters, the authors systematically discuss five classes of programs, concentrating on operational semantics, syntax directed assertional proof systems, soundness proofs of the proof systems, program transformations, correctness proofs of the program transformations, and correctness proofs of a substantial example. Each chapter is developed in a systematic and easy-to-understand manner and closes with a list of exercises. The material presented here draws on work which until now was only available in the form of advanced research publications. A large portion of the material is entirely new. This book provides an introduction to the subject which also will lead to current research problems in the areas considered. Hardcover, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1991-09, Studio: Springer-Verlag, Verkaufsrang: 9773777.

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, anybookltduk.
This book provides a structural introduction to program verification. Sequential programs in the form of deterministic and nondeterministic programs, and concurrent programs in the form of parallel and distributed programs, are considered within the context of their partial and total correctness. While other books have covered verification and semantics of sequential programs, this is the first book to address verification and semantics of structured concurrent programs. The book is appropriate for either a one- or two-semester introductory course on program verification for upper division of undergraduate studies or graduate students. It can also be used as an introduction to operational semantics. Outlines of possible one-semester courses are presented in the preface of the book. Within these chapters, the authors systematically discuss five classes of programs, concentrating on operational semantics, syntax directed assertional proof systems, soundness proofs of the proof systems, program transformations, correctness proofs of the program transformations, and correctness proofs of a substantial example. Each chapter is developed in a systematic and easy-to-understand manner and closes with a list of exercises. The material presented here draws on work which until now was only available in the form of advanced research publications. A large portion of the material is entirely new. This book provides an introduction to the subject which also will lead to current research problems in the areas considered. Hardcover, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1991-09, Studio: Springer-Verlag, Verkaufsrang: 9773777.

Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Top Notch Sales, WI, KAUKAUNA, [RE:3].
Hard cover.

Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Verification-of-Sequential-and-Concurrent-Programs~~Krzysztof-R-Apt, Verification of Sequential and Concurrent Programs.

Lieferung aus: Deutschland, zzgl. Versandkosten.
Formal Specification and Automatic Verification, Formal Specification and Automatic Verification.

Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, ExtremelyReliable, TX, Richmond, [RE:4].
Hardcover, 1.