Das 15. Jahrhundert wird gemeinhin als Inkubationszeit betrachtet, als eine Ära wichtiger Umbrüch...

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which ...

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

This book constitutes the refereed proceedings of the 18th International Conference on Software E...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This Festschrift volume has been published to celebrate the lifelong scientific achievements of F...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This is a systematic and comprehensive introduction both to compositional proof methods for the s...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Symposium S, 'Microelectromechanical Systems - Materials and Devices IV', focused on micro- and n...

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...

All modern industries rely on large and complex software systems. In order toconstruct such large...

Herman Selderhuis as editor of this volume has brought together a team of experts, resulting in a...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

The focus in development methodologies of large and complex software systems has switched in the ...

Drawing on practical examples supported by scientific evidence, this book demonstrates how preser...

Drawing on practical examples supported by scientific evidence, this book demonstrates how preser...

In kürzester Zeit hat das neue Coronavirus die Welt auf den Kopf gestellt. Zur Eindämmung der Inf...