Verification of Sequential and Concurrent Programs

This widely anticipated third edition provides a systematic exploration of one of the most common...

Familienrecht

Praxishandbuch Familiengerichtlicher Kinderschutz

Kindesschutzverfahren bewegen sich im Spannungsfeld von effektivem Kinderschutz, Wahrung der Elte...

Familienrecht für die Soziale Arbeit

Das Lehrbuch des Familienrechts richtet sich an Studierende der Sozialen Arbeit und Rechtswissens...

Kindschaftsrecht

Weitere Informationen zu dem Gesamtwerk finden Sie unter soziale-arbeit.de.

Der aufrechte Gang im windschiefen Kapitalismus

Der Band geht zurück auf die Tagung Der aufrechte Gang im windschiefen Kapitalismus, die im ...

Provably Correct Systems

As computers increasingly control the systems and services we depend upon within our daily liv...

Provably Correct Systems

As computers increasingly control the systems and services we depend upon within our daily lives ...

Verification of Sequential and Concurrent Programs

Correct System Design

Computers are gaining more and more control over systems that we use or rely on in our daily live...

Verification of Sequential and Concurrent Programs

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

Programmverifikation

Inhaltsangabe1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- Lösung 1.- Lösung 2.- Lösu...