Filtrera

Språk
  • (5)
  • (2)
Ämne
  • (7)
  • (4)
Format
  • (1)
  • (3)
  • (3)
Leveranstid
  • (3)

Martin Groe-Rhode - Böcker

Visar alla böcker av Martin Groe-Rhode. Handla med fri frakt och snabb leverans!

Sortering:

  1. Integration of Software Specification Techniques for Applications in Engineering

    av Hartmut Ehrig, Werner Damm, Jrg Desel, Martin Groe-Rhode, Wolfgang Reif

    Häftad, Engelska, 2004-09-01
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Integration of Software Specification Techniques for Applications in Engineering

    This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken de...

    Läs mer »

  2. Integration of Software Specification Techniques for Applications in Engineering E-bok

    av Hartmut Ehrig, Werner Damm, Jorg Desel, Martin Groe-Rhode, Wolfgang Reif

    E-bok (PDF, LCP), Engelska, 2011-04-05
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Integration of Software Specification Techniques for Applications in Engineering

  3. Semantic Integration of Heterogeneous Software Specifications

    av Martin Groe-Rhode

    Inbunden, Engelska, 2003-12-01
    1717
    Köp
    Skickas från oss inom 7-10 vardagar.
    Semantic Integration of Heterogeneous Software Specifications

    In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, ...

    Läs mer »

  4. Mathematisch-strukturelle Grundlagen der Informatik

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

    Häftad, Engelska, 2001-04-01
    440
    Köp
    Skickas från oss inom 7-10 vardagar.
    Mathematisch-strukturelle Grundlagen der Informatik

    In fnf sorgfltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prdikatenlogik, die fr das Verstndnis des formalisierten Problemlsens entsch...

    Läs mer »

  5. Semantic Integration of Heterogeneous Software Specifications

    av Martin Groe-Rhode

    Häftad, Engelska, 2010-12-01
    1717
    Köp
    Skickas från oss inom 7-10 vardagar.
    Semantic Integration of Heterogeneous Software Specifications

    In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, ...

    Läs mer »

  6. Mathematisch-strukturelle Grundlagen der Informatik E-bok

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

    E-bok (PDF, LCP), Tyska, 2013-03-07
    443
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Mathematisch-strukturelle Grundlagen der Informatik

    In fünf sorgfÿltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prÿdikatenlogik, die für das Verstÿndnis des formalisierten ProblemlÃ...

    Läs mer »

  7. Mathematisch-strukturelle Grundlagen der Informatik E-bok

    av Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Groe-Rhode, Philip Zeitz

    E-bok (PDF, LCP), Tyska, 2013-03-08
    579
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Mathematisch-strukturelle Grundlagen der Informatik

    In fünf sorgfÿltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prÿdikatenlogik, die für das Verstÿndnis des formalisierten ProblemlÃ...

    Läs mer »