Title: Formal Techniques for Distributed Systems
Subjects: Logic design, Computer networks, Computer science, Software engineering, Electronic data processing, Congresses, Distributed processing, Object-oriented programming (Computer science), Formal methods (Computer science), Rechnernetz, Kongress, Softwarespezifikation, Formale Spezifikationstechnik, Software, Testen, Formale Methode, Verteiltes System, Electronic data processing, distributed processing, Object-oriented programming (computer science), System design