عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540606556
شابک
364259140X
شابک
9783540606550
شابک
9783642591402
شماره کتابشناسی ملی
شماره
b546542
عنوان و نام پديدآور
عنوان اصلي
Vorlesungen über Informatik :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Berechenbarkeit, formale Sprachen, Spezifikationen
نام نخستين پديدآور
von Gerhard Goos.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
(XII, 284S. 72 Illustrationen)
فروست
عنوان فروست
Springer-Lehrbuch
يادداشت کلی
متن يادداشت
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algorithm Analysis and Problem Complexity.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer Science.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
von Gerhard Goos.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Gerhard Goos
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
