Transformationsbasierte temporallogische Programmierung .

temporallogische

von Klaus Spies

Broschiert

ISBN: 978-3-86064-402-7

ISBN-10: 3-86064-402-5

Verlag Dr. Kovac · 1996