Tool Support for System Specification, Development and Verification
Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
562 kr
Ordnungen, Verbände und Relationen mit Anwendungen
Häftad, Tyska, 2012
422 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
Das Lehrbuch führt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und Verbandstheorie wird zur algebraischen Theorie der Relationen, kurz Relationenalgebra, ausgebaut. Des Weiteren widmet sich das Buch Informatikanwendungen, hauptsächlich der formalen Entwicklung von Algorithmen für diskrete Probleme. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zurück zum ersten Teil des Buches.
Produktinformation
Utforska kategorier
Mer om författaren
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Rudolf Berghammer, Bernhard Möller, Georg Struth
Häftad, 2008
562 kr
Relations and Kleene Algebra in Computer Science
Georg Struth, Bernhard Moller, Rudolf Berghammer
E-bok
2008734 kr
Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Häftad, 2009
545 kr
Relations and Kleene Algebra in Computer Science
Bernhard Moller, Ali Jaoua, Rudolf Berghammer
E-bok
2009687 kr
Hoppa över listan
Du kanske också är intresserad av
Relations and Kleene Algebra in Computer Science
Georg Struth, Bernhard Moller, Rudolf Berghammer
E-bok
2008734 kr
Tool Support for System Specification, Development and Verification
Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
562 kr
Relations and Kleene Algebra in Computer Science
Bernhard Moller, Ali Jaoua, Rudolf Berghammer
E-bok
2009687 kr