4 电子书 Martin Groe-Rhode
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
