Schritte zur Verifikation von SPS-Programmen. Ist Prädikatenlogik eine Lösung?

Typ Buch/Monographie
VerfasserInnen Kucera Gernot, Paulis Herbert
Erscheinungsjahr 2012

Verlag FH Campus Wien

Seitenangabe 202 S.

ISBN 978-3-902614-24-7

Mitwirkende Person(en) der FH Campus Wien