Mohlo by se vám také líbit

Více informací o knize Termersetzungssysteme

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 97 bodů

Anotace knihy

Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht die universelle Datenstruktur Term.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Termersetzungssysteme
• Podnázev: Theorie, Implementierung, Anwendung
• Autor: Reinhard Bündgen
• Jazyk: Němčina
• Vazba: Brožovaná
• Počet stran: 228
• EAN: 9783528056520
• ISBN: 3528056525
• ID: 06802623
• Nakladatelství: Vieweg+Teubner
• Hmotnost: 456 g
• Rozměry: 244 × 170 × 13 mm
• Datum vydání: 16. January 1998

Oblíbené z jiného soudku

---

---

---