olderog ernst rudiger (31 Ergebnisse)

Paperback. Zustand: Good.

Hardcover. Zustand: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.

Softcover-Großformat. Zustand: Gut. XII, 258 S. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 440.

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Stains on the edge. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.

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.

Zustand: NEW.

Kartoniert / Broschiert. Zustand: New. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.This Festschrift, dedicated to Bengt Jonsson on the occasion of.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium.

Taschenbuch. Zustand: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings | Ernst-Rüdiger Olderog (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer-Verlag GmbH | EAN 9783540441656 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Correct System Design | Recent Insights and Advances | Bernhard Steffen (u. a.) | Taschenbuch | xiv | Englisch | 1999 | Springer-Verlag GmbH | EAN 9783540666240 | 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 Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.

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

Taschenbuch. Zustand: Neu. Model Checking, Synthesis, and Learning | Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday | Ernst-Rüdiger Olderog (u. a.) | Taschenbuch | viii | Englisch | 2021 | Springer Nature Switzerland | EAN 9783030913830 | 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. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Provably Correct Systems | Mike Hinchey (u. a.) | Taschenbuch | NASA Monographs in Systems and Software Engineering | Paperback | xv | Englisch | 2018 | Springer International Publishing | EAN 9783319839806 | 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 -As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ¿ProCoS¿ (Provably Correct Systems).The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered:An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Buch. Zustand: Neu. Neuware -As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ¿ProCoS¿ (Provably Correct Systems).The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered:An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Hardcover. Zustand: Brand New. 3rd edition. 502 pages. 9.50x6.50x1.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsProvably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsProvably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Paperback. Zustand: Brand New. 1st edition. 270 pages. German language. 9.21x5.91x0.79 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. Sequentielle,parallele und verteilte Programme werden in einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nicht deterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation über Botschaftenaustausch behandelt. Für jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein größeres Verifikationsbeispielv orgestellt. Insbesondere werden Programme zur Lösung derklassischen Probleme Erzeuger-Verbraucher, wechselweiserAusschluß und verteilte Terminierung diskutiert undverifiziert. Eine Besonderheit des Buches ist dieeinheitliche Behandlung von Fairneß-Annahmen und die Benutzung von Programmtransformationen.Das Buch eignet sich für ein- oder zweisemestrige Vorlesungen ber Programmverifikation. Die Kapitel sindeinheitlich strukturiert und enthalten eine Reihe von Übungsaufgaben und bibliographischen Hinweisen. Das Buch führt auch an aktuelle Themen der Forschung heran.

Taschenbuch. Zustand: Neu. Programmverifikation | Sequentielle, parallele und verteilte Programme | Ernst-Rüdiger Olderog (u. a.) | Taschenbuch | xii | Deutsch | 1994 | Springer-Verlag GmbH | EAN 9783540574798 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher.

Zustand: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher.

Springer 1991 cloth, 441 pp. ISBN (3540975322) (code Sc-60).