Most Popular Books
- SDL: Formal Object-Oriented Language for Communicating Systems (2nd Edition)
- Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science)
- Estelle, Lotos Und Sdl: Standard-Spezifikationssprachen Fur Verteilte Systeme
- Formale Beschreibungstechniken Fur Verteilte Systeme
