Wehrheim Heike (95 results)

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New. pp. 181.

Paperback. Condition: new. Paperback. This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 2428, 2025.The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. The papers were categorized into the following topical sections: Invited Papers; Tutorial; Verification and Synthesis; Session Types; Logic and Theorem Provers; Probabilistic Systems; Automata; Cryptography and Choreography; Algorithms and Complexity; and Tool and Short Papers. This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 2428, 2025.The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condition: New. pp. 284.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.…

Condition: New. pp. 380.

Paperback. Condition: Brand New. 196 pages. 9.25x6.10x0.45 inches. In Stock.

Paperback. Condition: Brand New. 568 pages. 9.25x6.10x1.28 inches. In Stock.

Condition: New.

Paperback. Condition: Brand New. 1st edition. 367 pages. 9.75x6.25x1.00 inches. In Stock.

Taschenbuch. Condition: 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. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Speakers.- Security Issues in Service Composition.- Separating Distribution from Coordination and Computation as Architectural Dimensions.- The Bisimulation Proof Method: Enhancements and Open Problems.- Regular Papers.- An Approach to Quality Achievement at the Architectural Level: AQUA.- Bounded Analysis and Decomposition for Behavioural Descriptions of Components.- Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.- Synchronizing Behavioural Mismatch in Software Composition.- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.- Temporal Superimposition of Aspects for Dynamic Software Architecture.- Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.- Transformation Laws for UML-RT.- Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.- Generating Instance Models from Meta Models.- KM3: A DSL for Metamodel Specification.- Defining Object-Oriented Execution Semantics Using Graph Transformations.- Type-Safe Runtime Class Upgrades in Creol.- Abstract Interface Behavior of Object-Oriented Languages with Monitors.- Mobility Mechanisms in Service Oriented Computing.- Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. …