Ebook > Sciences > Computer Science > Hardware > Wolfgang Ahrendt & Bernhard Beckert: Logic of Software. A Tasting Menu of Formal Methods (ePUB)

Wolfgang Ahrendt & Bernhard Beckert
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday

Support

Adobe DRM

Cover of Wolfgang Ahrendt & Bernhard Beckert: Logic of Software. A Tasting Menu of Formal Methods (ePUB)

This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universitat Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the Ke Y project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications.The contributions in this volume reflect Reiner s main research focus: formal methods, in particular applied to software verification.

€111.67

Language English ● Format EPUB ● ISBN 9783031081668 ● Editor Wolfgang Ahrendt & Bernhard Beckert ● Publisher Springer International Publishing ● Published 2022 ● Downloadable 3 times ● Currency EUR ● ID 8469846 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Wolfgang Ahrendt Bernhard Beckert Richard Bubel Einar Broch Johnsen

3,563 Ebooks in this category

Cover of Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Cover of Salma Abdalla (Maquarie university, Australia) Hamad & Quan Z. Sheng: Security Framework for The Internet of Things Applications

Salma Abdalla (Maquarie university, Australia) Hamad & Quan Z. Sheng: Security Framework for The Internet of Things Applications

The text highlights a comprehensive survey that focuses on all security aspects and challenges facing the Internet of Things systems, including outsourcing techniques for partial computations on edge …

Cover of Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

This book addresses the security challenges facing the rapidly growing Internet of Things (Io T) industry, including the potential threats and risks arising from its complex architecture. The authors …

Cover of ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

Hard drives and disk management receive scant attention from the industry press, yet recent surveys have identified disk failure as the #1 source of server downtime. Combine this fact with the skyroc …

Cover of Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Digital transformation, also known as Industry 4.0, Smart Industry, and Smart Manufacturing, is at the top of leaders’ agendas. Such a transformation stimulates innovation in new products and service …

Cover of Jeffrey C. Carver & Neil P. Chue Hong: Software Engineering for Science

Jeffrey C. Carver & Neil P. Chue Hong: Software Engineering for Science

Software Engineering for Science provides an in-depth collection of peer-reviewed chapters that describe experiences with applying software engineering practices to the development of scientific soft …

Cover of M.H Beilby: Scientific Programmer''s Toolkit

M.H Beilby: Scientific Programmer”s Toolkit

The Scientific Programmer”s Toolkit: Turbo Pascal Edition presents a complete software environment for anyone writing programs in mathematical, engineering, or science areas. This toolkit package is …

Cover of Kornel Terplan: Intranet Performance Management

Kornel Terplan: Intranet Performance Management

To avoid serious bottlenecks, components of the Internet and of intranets-such as servers, browsers, and the access networks-must be properly designed, implemented, managed, and monitored. Beginning …

Cover of F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

Written by ten leading experts in the field, Optical Computing cover topics such as optical bistability, optical interconnects and circuits, photorefractive devices, spatial light modulators, …

Cover of Agus Kurniawan: Internet of Things Projects with ESP32

Agus Kurniawan: Internet of Things Projects with ESP32

Create and program Internet of Things projects using the Espressif ESP32. Key Features

Getting to know the all new powerful EPS32 boards and build interesting Internet of Things projects …