menu
{ "item_title" : "Vorlesungen Über Informatik", "item_author" : [" Gerhard Goos "], "item_description" : "Band 3 baut auf den Themen Grundlagen und funktionales Programmieren und Objektorientiertes Programmieren und Algorithmen der ersten beiden B nde auf. Er vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexit tstheorie, formale Sprachen und Automaten und f hrt in die Transformation von Programmen und in die Spezifikationstechnik ein. Der Autor stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Der Leser lernt anhand der Z-Notation und der Statecharts-Technik, wie man Systemaufgaben analysiert und spezifiziert.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/3/54/060/655/3540606556_b.jpg", "price_data" : { "retail_price" : "29.99", "online_price" : "29.99", "our_price" : "29.99", "club_price" : "29.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Vorlesungen Über Informatik|Gerhard Goos

Vorlesungen Über Informatik : Berechenbarkeit, Formale Sprachen, Spezifikationen

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

Band 3 baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden B nde auf. Er vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexit tstheorie, formale Sprachen und Automaten und f hrt in die Transformation von Programmen und in die Spezifikationstechnik ein. Der Autor stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Der Leser lernt anhand der Z-Notation und der Statecharts-Technik, wie man Systemaufgaben analysiert und spezifiziert.

This item is Non-Returnable

Details

  • ISBN-13: 9783540606550
  • ISBN-10: 3540606556
  • Publisher: Springer
  • Publish Date: September 1997
  • Dimensions: 9.21 x 6.14 x 0.63 inches
  • Shipping Weight: 0.93 pounds
  • Page Count: 284

Related Categories

You May Also Like...

    1

BAM Customer Reviews