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

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-89838-096-3

ISBN-13

Abmessungen

21 x 14,8 cm

Lieferstatus

nicht verfügbar

Preis

25,00 €*

ca. 15 km um Moreno Valley

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