5 Электронные книги Bernd Mahr
Bernd Mahr & Huanye Sheng: Autonomous Systems – Self-Organization, Management, and Control
The 2008 TUB-SJTU joint workshop on “Autonomous Systems – Self-Organization, Management, and Control” was held on October 6, 2008 at Shanghai Jiao Tong University, Shanghai, China. The workshop, spon …
PDF
английский
€96.29
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
Hartmut Ehrig & Bernd Mahr: Fundamentals of Algebraic Specification 2
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software syste …
PDF
английский
DRM
€57.76
Hartmut Ehrig & Bernd Mahr: Fundamentals of Algebraic Specification 1
The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic spec …
PDF
английский
DRM
€115.19
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.51