Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen von Jürgen Giesl | ISBN 9783896010964

Buch

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen

Name: Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
Author: Jürgen Giesl

Archivierter Titel, da nicht lieferbar.×

Einband - flex.(Paperback)

Softcover

306 Seiten

Verlag

Autor

Erscheinungsjahr

1995

ISBN-10

3-89601-096-4

978-3-89601-096-4

Abmessungen

21 x 14,8 cm

Lieferstatus

nicht verfügbar

ca. 15 km um Moreno Valley

**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.