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

164,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

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
Seiten: 302
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,706 kg
preigu-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
Seiten: 302
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,706 kg
preigu-id: 102063972
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783540859857 | Algorithmic Adventures | From Knowledge to Magic | Juraj Hromkovi¿
Algorithmic Adventures
From Knowledge to Magic
EAN: 9783540859857
Sprache: Englisch
Von/Mit: Juraj Hromkovi¿

48,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781484200711 | Embedded Firmware Solutions | Vincent Zimmer (u. a.) | Taschenbuch
Embedded Firmware Solutions
Development Best Practices for the Internet of Things
EAN: 9781484200711
Sprache: Englisch
Von/Mit: Vincent Zimmer (u. a.)

38,70 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783528033569 | FORTRAN IV/77-Programm zur Finite-Elemente-Methode | Wilfried Gawehn
FORTRAN IV/77-Programm zur Finite-Elemente-Methode
Ein FEM-Programm für die Elemente Stab, Balken und Scheibendreieck
EAN: 9783528033569
Von/Mit: Wilfried Gawehn

54,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789386210906 | API Recipes with MuleSoft® Anypoint Platform | Board | Taschenbuch
API Recipes with MuleSoft® Anypoint Platform
EAN: 9789386210906
Sprache: Englisch
Von/Mit: Whishworks Editorial Board

93,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540567844 | Numerische Mathematik für Informatiker | Franz Locher | Taschenbuch
Numerische Mathematik für Informatiker
EAN: 9783540567844
Von/Mit: Franz Locher

33,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783668821255 | Das Smart Home. Definition, Aufbau und Nutzung | Mert Erdogan | Buch
Das Smart Home. Definition, Aufbau und Nutzung
EAN: 9783668821255
Sprache: Deutsch
Von/Mit: Mert Erdogan

17,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783668975347 | Entwicklung und Implementierung eines Signalgenerators auf einem FPGA
Entwicklung und Implementierung eines Signalgenerators auf einem FPGA
EAN: 9783668975347
Sprache: Deutsch
Von/Mit: Marco Niesen

24,99 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783030439453 | Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
EAN: 9783030439453
Sprache: Englisch
Von/Mit: Paulo Carreira (u. a.)

43,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9780367573959 | Essentials of Computer Architecture | Douglas Comer | Taschenbuch
Essentials of Computer Architecture
EAN: 9780367573959
Sprache: Englisch
Von/Mit: Douglas Comer

71,85 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781904987529 | PROLOG, Tout de Suite! | P. Blackburn (u. a.) | Taschenbuch | 2007
PROLOG, Tout de Suite!
EAN: 9781904987529
Sprache: Französisch
Von/Mit: P. Blackburn (u. a.)

27,55 €*

Lieferzeit 1-2 Wochen

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