Formal Techniques for Distributed Systems
Ein umfassendes Handbuch für die formale Modellierung verteilter Systeme, das theoretische Grundlagen mit praxisnahen Techniken zur Verifikation von Konsistenz und Fehlertoleranz verbindet und komplexe Architekturen klar strukturiert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE 
