Programmierung - eine Einführung in die Informatik mit Standard ML
| Autor: | Gert Smolka |
|---|---|
| EAN: | 9783486595345 |
| eBook Format: | |
| Sprache: | Deutsch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 01.01.2009 |
| Kategorie: | |
| Schlagworte: | Datenstrukturen Höherstufige Prozeduren Induktiver Korrektheitsbeweis Laufzeitbestimmung Standard ML |
37,95 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Diese Einführung in die Informatik ermöglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschäftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken für Korrektheitsbeweise und Laufzeitbestimmungen.
Weitere Produkte vom selben Autor