andré platzer (33 Ergebnisse)

paperback. Zustand: Very Good.

Zustand: New.

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. 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.

Paperback. Zustand: Brand New. 650 pages. 9.25x6.10x1.34 inches. In Stock.

Paperback. Zustand: Brand New. 650 pages. 9.25x6.10x9.21 inches. In Stock.

Gebunden. Zustand: New.

Zustand: New.

Hardcover. Zustand: Brand New. 639 pages. 9.75x6.75x1.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Paperback. Zustand: Brand New. 279 pages. 9.00x6.00x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

Taschenbuch. Zustand: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I | André Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711619 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Neuware -This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks.This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects.The book is supported with homework exercises, lecture videos, and slides.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.

Buch. Zustand: Neu. Neuware -Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks.This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects.The book is supported with homework exercises, lecture videos, and slides.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

Taschenbuch. Zustand: Neu. Correct System Design | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings | Roland Meyer (u. a.) | Taschenbuch | xii | Englisch | 2015 | Springer International Publishing | EAN 9783319235059 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Cyber-physical systems (CPSs) combine cyber capabilities, such as computation orcommunication, with physical capabilities, such as motion or other physical processes. Cars,aircraft, and robots are prime examples, because they move physically in space in a way that isdetermined by discrete computerized control algorithms. Designing these algorithms ischallenging due to their tight coupling with physical behavior, while it is vital that thesealgorithms be correct because we rely on them for safety-critical tasks.This textbook teaches undergraduate students the core principles behind CPSs. Itshows them how to develop models and controls; identify safety specifications andcritical properties; reason rigorously about CPS models; leverage multi-dynamicalsystems compositionality to tame CPS complexity;identify required control constraints;verify CPS models of appropriate scale in logic; and develop an intuitionfor operational effects.The book is supported with homework exercises, lecture videos, and slides.

Taschenbuch. Zustand: Neu. Logical Foundations of Cyber-Physical Systems | André Platzer | Taschenbuch | xxxi | Englisch | 2019 | Springer International Publishing | EAN 9783030096977 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Cyber-physical systems (CPSs) combine cyber capabilities, such as computation orcommunication, with physical capabilities, such as motion or other physical processes. Cars,aircraft, and robots are prime examples, because they move physically in space in a way that isdetermined by discrete computerized control algorithms. Designing these algorithms ischallenging due to their tight coupling with physical behavior, while it is vital that thesealgorithms be correct because we rely on them for safety-critical tasks.This textbook teaches undergraduate students the core principles behind CPSs. Itshows them how to develop models and controls; identify safety specifications andcritical properties; reason rigorously about CPS models; leverage multi-dynamicalsystems compositionality to tame CPS complexity;identify required control constraints;verify CPS models of appropriate scale in logic; and develop an intuitionfor operational effects.The book is supported with homework exercises, lecture videos, and slides.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Logical Analysis of Hybrid Systems | Proving Theorems for Complex Dynamics | André Platzer | Taschenbuch | xxx | Englisch | 2014 | Springer Berlin | EAN 9783642444746 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Zustand: Brand New. 426 pages. 9.20x6.30x1.20 inches. In Stock.

Buch. Zustand: Neu. Neuware -Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical¿chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems.This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical-chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems.This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical-chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems.This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

Taschenbuch. Zustand: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II | Andre Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer Nature Switzerland | EAN 9783031711763 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.