Search results for ‘Dieter Hogrefe’

Filter & Refine

      Cover image for Formale Beschreibungstechniken Fur Verteilte Systeme
      Paperback
      Add to list Added to list

      Formale Beschreibungstechniken Fur Verteilte Systeme

      1m Februar 1991 wurde ein Arbeitskreis Formale Beschreibungstechniken fUr verteilte Systeme am Rande der Fachtagung Kommunikation in verteilten Systemen in Mann- heim in der GI/ITG Fachgruppe 3.3.¼.4 Kommunikation und verteilte…

      $161.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
      Paperback
      Add to list Added to list

      Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

      the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Estelle, LOTOS und SDL
      Paperback
      Add to list Added to list

      Estelle, LOTOS und SDL

      Dieter Hogrefe

      Das Buch gibt eine Einfuhrung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen…

      $100.99

      Available to order, ships in 7-14 daysAvailable to order