Martin Groe-Rhode – författare
Visar alla böcker från författaren Martin Groe-Rhode. Handla med fri frakt och snabb leverans.
4 produkter
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Engelbert Westkamper, Eckehard Schnieder m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
Mathematisch-strukturelle Grundlagen der Informatik
Av P. Zeitz, Martin Groe-Rhode m. fl.
E-bok, 2013
412 kr
Lägg i varukorg
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ösens entscheidend und damit für Informatiker unerläßlich …
Mathematisch-strukturelle Grundlagen der Informatik
Av Philip Zeitz, Martin Groe-Rhode m. fl.
E-bok, 2013
542 kr
Lägg i varukorg
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ösens entscheidend und damit für Informatiker unerläßlich …
Semantic Integration of Heterogeneous Software Specifications
E-bok, 2013
2127 kr
Lägg i varukorg
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, to establish the correspondences of the models and …
