che-chandler.de

Formal Methods for Computational Systems Biology

Formal Methods for Executable Software Models

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the In...

Formal Methods for Mobile Computing

Formal Methods for Web Services

This book presents papers from the lectures of leading researchers given at the Ninth Internation...

Formal Methods for Performance Evaluation

This book presents a set of 11 papers accompanying the lectures of leading researchers given at t...

Legal Design

Legal Design

Econometric Modeling Perspectives

In this book the authors present a reassessment of some recently proposed econometric methods for...

Waldir Azevedo

Formal Methods for Model-Driven Engineering

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the I...

Formal Methods for Dynamical Systems

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the In...

Formal Methods for Multicore Programming

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the In...