Buch beschaffen

: Transformationsbasierte temporallogische Programmierung

Transformationsbasierte temporallogische Programmierung

IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl…

In den Biblio­theken

recherchieren

Falls Sie das Buch nicht selbst erwerben möchten, können Sie sich an Ihre Uni-Bibliothek wenden und den Erwerb des gewünschten Titels zum Kauf durch Ihre Bibliothek vorschlagen. Hinter dem obigen Button finden Sie Hilfsmittel, damit Sie schneller ans Ziel kommen.