Termersetzungssysteme

Name: Termersetzungssysteme
Brand: Vieweg+Teubner
SKU: 9783528056520
Price: 174.84 PLN
Availability: InStock

Theorie, Implementierung, Anwendung

Autor: Reinhard Bündgen

Język:

Oprawa: Miękka

Wydawca: Vieweg+Teubner

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

174.84 zł

Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der I...

Informacje o książce

Autor

Reinhard Bündgen

Język

Niemiecki

Oprawa

Książka - Miękka

Data wydania

1998

strony

228

EAN

9783528056520

ISBN

3528056525

Enbook ID

06802623

Wydawca

Vieweg+Teubner

Waga

456

Wymiary

170 x 244 x 13

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Termersetzungssysteme

Theorie, Implementierung, Anwendung

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również