Agility für Fortgeschrittene

In der Agility noch mehr als in allen anderen H...

Computer Aided Verification

This book constitutes the refereed proceedings ...

Schemapädagogik bei jugendlichen Gewalttätern

Der Umgang mit jugendlichen Gewalttätern ist sc...

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Dieses Buch stellt eine Methodik zum systematis...

Integration of Software Specification Techniques for Applications in Engineering

Practical Formal Methods for Hardware Design

Formal methods for hardware design still find l...

Formal Techniques in Real-Time and Fault-Tolerant Systems

This volume contains the proceedings of FTRTFT ...

Practical Formal Methods for Hardware Design

Formal methods for hardware design still find l...

Computer Aided Verification

This volume contains the proceedings of the Int...

Integration of Software Specification Techniques for Applications in Engineering

This volume is a documentation of the main resu...

Formal Techniques in Real-Time and Fault-Tolerant Systems

This volume contains the proceedings of FTRTFT ...

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Dieses Buch stellt eine Methodik zum systematis...