Vorlesungen uber Informatik : Band 3: Berechenbarkeit, formale Sprachen, Spezifikationen :  Band 3: Berechenbarkeit, formale Sprachen, Spezifikationen - Gerhard Goos

Vorlesungen uber Informatik : Band 3: Berechenbarkeit, formale Sprachen, Spezifikationen

Band 3: Berechenbarkeit, formale Sprachen, Spezifikationen

By: Gerhard Goos

Paperback | 1 August 1997

At a Glance

Paperback


$50.00

or 4 interest-free payments of $12.50 with

 or 

Ships in 7 to 10 business days

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.

More in Algorithms & Data Structures

Code Dependent : Living in the Shadow of AI - Madhumita Murgia

RRP $24.99

$21.75

13%
OFF
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
New Storytelling : Learning through Metaphors - Anna Ursyn

RRP $103.00

$87.55

15%
OFF
Advanced Computational Intelligence Techniques for Engineers - N. Narayanan Prasanth
Tiny Machine Learning Techniques for Constrained Devices - Khalid El-Makkaoui
Handbook of Business Analytics - Geeta  Rana

RRP $263.00

$173.99

34%
OFF
Realistic and Ethical Use of Artificial Intelligence - Maggi  Savin-Baden
Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric