4 كتب إلكترونية بواسطة Martin Groe-Rhode
Werner Damm & Jorg Desel: Integration of Software Specification Techniques for Applications in Engineering
…
PDF
الإنجليزية
DRM
€57.78
F. Cornelius & Hartmut Ehrig: 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 d …
PDF
ألمانية
DRM
€33.14
Felix Cornelius & Hartmut Ehrig: 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 d …
PDF
ألمانية
DRM
€43.65
Martin Groe-Rhode: 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 viewpo …
PDF
الإنجليزية
DRM
€165.48
