Zur Startseite gehen
0,00 €*
Cover: 9780521875462 | Reactive Systems | Modelling, Specification and Verification | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Reactive Systems
Modelling, Specification and Verification
Buch von Luca Aceto (u. a.)
Sprache: Englisch

122,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

auf Lager, Lieferzeit 1-2 Werktage

Kategorien:
Beschreibung
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
Über den Autor
Luca Aceto is Professor of Computer Science at Reykjavík University, Iceland and Aalborg University, Denmark.
Zusammenfassung
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. Many books look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes all the various approaches, their strengths and weaknesses, and when they are best used. Based on taught courses, this book will provide students with a broad introduction to the area.
Inhaltsverzeichnis
Preface; Part I. A Classic Theory of Reactive Systems: 1. Introduction; 2. The language CCS; 3. Behavioural equivalences; 4. Theory of fixed points and bisimulation equivalence; 5. Hennessy-Milner logic; 6. Hennessy-Milner logic with recursive definitions; 7. Modelling and analysis of mutual exclusion algorithms; Part II. A Theory of Real-Time Systems: 8. Introduction; 9. CCS with time delays; 10. Timed automata; 11. Timed behavioural equivalences; 12. Hennessy-Milner logic with time; 13. Modelling and analysis of Fischer's algorithm; Appendix; Bibliography; Index.
Details
Erscheinungsjahr: 2014
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521875462
ISBN-10: 0521875463
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Aceto, Luca
Ingolfsdottir, Anna
Srba, Jiri
Hersteller: Cambridge University Press
Maße: 250 x 175 x 21 mm
Von/Mit: Luca Aceto (u. a.)
Erscheinungsdatum: 03.03.2014
Gewicht: 0,704 kg
Artikel-ID: 102063972
Über den Autor
Luca Aceto is Professor of Computer Science at Reykjavík University, Iceland and Aalborg University, Denmark.
Zusammenfassung
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. Many books look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes all the various approaches, their strengths and weaknesses, and when they are best used. Based on taught courses, this book will provide students with a broad introduction to the area.
Inhaltsverzeichnis
Preface; Part I. A Classic Theory of Reactive Systems: 1. Introduction; 2. The language CCS; 3. Behavioural equivalences; 4. Theory of fixed points and bisimulation equivalence; 5. Hennessy-Milner logic; 6. Hennessy-Milner logic with recursive definitions; 7. Modelling and analysis of mutual exclusion algorithms; Part II. A Theory of Real-Time Systems: 8. Introduction; 9. CCS with time delays; 10. Timed automata; 11. Timed behavioural equivalences; 12. Hennessy-Milner logic with time; 13. Modelling and analysis of Fischer's algorithm; Appendix; Bibliography; Index.
Details
Erscheinungsjahr: 2014
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521875462
ISBN-10: 0521875463
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Aceto, Luca
Ingolfsdottir, Anna
Srba, Jiri
Hersteller: Cambridge University Press
Maße: 250 x 175 x 21 mm
Von/Mit: Luca Aceto (u. a.)
Erscheinungsdatum: 03.03.2014
Gewicht: 0,704 kg
Artikel-ID: 102063972
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781292024011 | Object-Oriented Software Engineering Using UML, Patterns, and Java
Object-Oriented Software Engineering Using UML, Patterns, and Java
Pearson New International Edition
EAN: 9781292024011
Sprache: Englisch
Von/Mit: Bernd Bruegge (u. a.)

55,80 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781119527077 | SQL For Dummies | Allen G. Taylor | Taschenbuch | 512 S. | Englisch
SQL For Dummies
EAN: 9781119527077
Sprache: Englisch
Von/Mit: Allen G. Taylor

35,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781492060949 | Analytical Skills for AI and Data Science | Daniel Vaughan | Buch
Analytical Skills for AI and Data Science
Building Skills for an AI-driven Enterprise
EAN: 9781492060949
Sprache: Englisch
Von/Mit: Daniel Vaughan

73,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781119786191 | Go Programming Language for Dummies | Wei-Meng Lee | Taschenbuch
Go Programming Language for Dummies
EAN: 9781119786191
Sprache: Englisch
Von/Mit: Wei-Meng Lee

36,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781119796824 | Raspberry Pi for Dummies | Sean Mcmanus (u. a.) | Taschenbuch | 512 S.
Raspberry Pi for Dummies
EAN: 9781119796824
Sprache: Englisch
Von/Mit: Sean Mcmanus (u. a.)

30,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781492084020 | Devops Tools for Java Developers | Stephen Chin (u. a.) | Taschenbuch
Devops Tools for Java Developers
Best Practices from Source Code to Production Containers
EAN: 9781492084020
Sprache: Englisch
Von/Mit: Stephen Chin (u. a.)

62,70 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780262195362 | The Game Design Reader | A Rules of Play Anthology | Buch | Englisch
The Game Design Reader
A Rules of Play Anthology
EAN: 9780262195362
Sprache: Englisch
Von/Mit: Eric Zimmerman (u. a.)

83,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484290255 | Kubernetes Programming with Go | Philippe Martin | Taschenbuch | XX
Kubernetes Programming with Go
Programming Kubernetes Clients and Operators Using Go and the Kubernetes API
EAN: 9781484290255
Sprache: Englisch
Von/Mit: Philippe Martin

52,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783662671535 | Essenz der Informatik | Was Benutzer alles wissen sollten | Franzetti
Essenz der Informatik
Was Benutzer alles wissen sollten
EAN: 9783662671535
Sprache: Deutsch
Von/Mit: Claudio Franzetti

49,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9780982368114 | Bpmn Method and Style, 2nd Edition, with Bpmn Implementer's Guide
Bpmn Method and Style, 2nd Edition, with Bpmn Implementer's Guide
A Structured Approach for Business Process Modeling and Implementation Using Bpmn 2
EAN: 9780982368114
Sprache: Englisch
Von/Mit: Bruce Silver

52,10 €*

Aktuell nicht verfügbar

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...