Yazar
Bernd Mahr
7 cilt bulundu.
Cilt sonuçları
Fundamentals of algebraic specification 2
Hartmut Ehrig, Bernd Mahr · Springer-Verlag
427 sayfa · 1990
Algebra / Electronic data processing / Mathematics / Software Design / Computers
Autonomous Systems - Self-Organization, Management, and Control
Bernd Mahr, Huanye Sheng · Springer Netherlands
193 sayfa · 2010
Automation / Computer science / Software engineering / Operating systems (computers)
Mathematisch-strukturelle Grundlagen der Informatik
Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode · Springer Berlin Heidelberg
Sayfa sayısı yok · 1999
Mengenlehre / Kategorientheorie / Algebraische Spezifikation / Aussagenlogik / Prädikatenlogik
Mathematisch-strukturelle Grundlagen der Informatik
Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz · Springer Berlin Heidelberg
Sayfa sayısı yok · 2001
Mengenlehre / Kategorientheorie / Algebraische Spezifikation / Aussagenlogik / Prädikatenlogik