Vom Problem zum Programm: Leitfäden und Monographien der Informatik
Autor Herbert Klaerende Limba Germană Paperback – iun 1990
Din seria Leitfäden und Monographien der Informatik
- 15%
Preț: 508.97 lei - 20%
Preț: 214.64 lei - 15%
Preț: 506.58 lei - 15%
Preț: 456.24 lei -
Preț: 500.57 lei -
Preț: 488.13 lei -
Preț: 500.06 lei -
Preț: 506.27 lei - 20%
Preț: 321.32 lei -
Preț: 495.80 lei -
Preț: 494.34 lei -
Preț: 492.62 lei -
Preț: 492.86 lei -
Preț: 491.27 lei -
Preț: 325.05 lei -
Preț: 371.37 lei -
Preț: 491.00 lei -
Preț: 489.04 lei -
Preț: 494.69 lei -
Preț: 491.89 lei -
Preț: 319.39 lei -
Preț: 321.13 lei -
Preț: 503.27 lei -
Preț: 491.36 lei -
Preț: 498.06 lei -
Preț: 486.65 lei -
Preț: 490.18 lei -
Preț: 320.16 lei -
Preț: 472.92 lei -
Preț: 500.94 lei -
Preț: 428.96 lei -
Preț: 314.88 lei -
Preț: 357.18 lei -
Preț: 324.87 lei -
Preț: 491.62 lei -
Preț: 335.58 lei -
Preț: 358.11 lei -
Preț: 507.04 lei -
Preț: 493.28 lei -
Preț: 489.37 lei -
Preț: 471.61 lei
Preț: 489.02 lei
Puncte Express: 734
Carte tipărită la comandă
Livrare economică 26 octombrie-09 noiembrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783519022428
ISBN-10: 3519022427
Pagini: 236
Ilustrații: 233 S.
Dimensiuni: 170 x 244 x 13 mm
Greutate: 0.42 kg
Ediția:1990
Editura: Vieweg+Teubner Verlag
Colecția Leitfäden und Monographien der Informatik
Seria Leitfäden und Monographien der Informatik
Locul publicării:Wiesbaden, Germany
ISBN-10: 3519022427
Pagini: 236
Ilustrații: 233 S.
Dimensiuni: 170 x 244 x 13 mm
Greutate: 0.42 kg
Ediția:1990
Editura: Vieweg+Teubner Verlag
Colecția Leitfäden und Monographien der Informatik
Seria Leitfäden und Monographien der Informatik
Locul publicării:Wiesbaden, Germany
Public țintă
Upper undergraduateCuprins
1 Einführung.- 1.1 Was ist Informatik?.- 1.2 Geschichte der Programmierung.- 1.3 Problemlösen durch Algorithmen.- 2 Algorithmen und Spezifikationen.- 2.1 Spezifikationen.- 2.2 Algorithmen.- 2.3 Verifikation von Algorithmen.- 2.4 Termination.- 2.5 Aufgaben.- 3 Registermaschinen als Computermodell.- 3.1 Aufgaben.- 4 Eine einfache Programmiersprache.- 4.1 Syntaktische Beschreibungsmittel.- 4.2 Syntax von Mini-Pascal.- 4.3 Semantik von Mini-Pascal.- 4.4 Übersetzung von Mini-Pascal in Maschinencode.- 4.5 Aufgaben.- 5 Von Mini-Pascal zu Pascal.- 5.1 Aufgaben.- 6 Abstrakte Datentypen.- 6.1 Einführung.- 6.2 Natürliche Zahlen.- 6.3 Wortmengen.- 6.4 Terme.- 6.5 Spezifikation abstrakter Datentypen.- 6.6 Anwendungen abstrakter Datentypen.- 6.7 Aufgaben.- A Mathematische Grundlagen.- A.1 Mengen, Relationen, Abbildungen.- A.2 Logik.- A.2.1 Aussagenlogik.- A.2.2 Prädikatenlogik.- A.3 Halbordnungen.- A.4 Aufgaben.- B Lösung der Übungen.- C Literaturverzeichnis.