Search results for ‘Martin Grosse-Rhode’

Filter & Refine

      Cover image for Semantic Integration of Heterogeneous Software Specifications
      Hardback
      Add to list Added to list

      Semantic Integration of Heterogeneous Software Specifications

      Martin Grosse-Rhode

      The first book to integrate various model-based software specification approaches. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches.

      $407.99

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

      Cover image for Semantic Integration of Heterogeneous Software Specifications
      Paperback
      Add to list Added to list

      Semantic Integration of Heterogeneous Software Specifications

      Martin Grosse-Rhode

      The first book to integrate various model-based software specification approaches. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches.

      $407.99

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

      Cover image for Mathematisch-Strukturelle Grundlagen Der Informatik
      Hardback
      Add to list Added to list

      Mathematisch-Strukturelle Grundlagen Der Informatik

      Hartmut Ehrig,Bernd Mahr,F Cornelius,Martin Grosse-Rhode,P Zeitz

      Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pradikatenlogik. Sie sind fur das Verstandnis des formalisierten Problemloesens entscheidend und damit…

      $100.99

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

      Cover image for Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
      Paperback
      Add to list Added to list

      Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

      This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It…

      $138.99

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