rüdiger ernst
VerificationofSequentialandConcurrentPrograms
EbookSofort lieferbarThis widely anticipated third edition provides a systematic exploration of one of the most common...
Praxishandbuch Familiengerichtlicher Kinderschutz
TaschenbuchSofort lieferbarKindesschutzverfahren bewegen sich im Spannungsfeld von effektivem Kinderschutz, Wahrung der Elte...
Familienrecht für die Soziale Arbeit
TaschenbuchSofort lieferbarDas Lehrbuch des Familienrechts richtet sich an Studierende der Sozialen Arbeit und Rechtswissens...
Kindschaftsrecht
DigitalSofort lieferbarWeitere Informationen zu dem Gesamtwerk finden Sie unter soziale-arbeit.de.
Der aufrechte Gang im windschiefen Kapitalismus
DigitalSofort lieferbarDer Band geht zurück auf die Tagung Der aufrechte Gang im windschiefen Kapitalismus, die im ...
Provably Correct Systems
DigitalSofort lieferbarAs computers increasingly control the systems and services we depend upon within our daily liv...
Provably Correct Systems
BuchPrint on DemandAs computers increasingly control the systems and services we depend upon within our daily lives ...
Correct System Design
TaschenbuchPrint on DemandComputers are gaining more and more control over systems that we use or rely on in our daily live...
Verification of Sequential and Concurrent Programs
TaschenbuchPrint on DemandHIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...
Programmverifikation
TaschenbuchPrint on DemandInhaltsangabe1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- Lösung 1.- Lösung 2.- Lösu...