Computers & Internet Books:

Vorlesungen Uber Informatik

Berechenbarkeit, Formale Sprachen, Spezifikationen
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback
$82.99 was $98.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 2-3 weeks

Buy Now, Pay Later & Finance Options:

Afterpay is available on orders $100 to $2000 Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 28 Oct - 7 Nov using International Courier

Description

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bande auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitatstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einfuhrend 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 erortert, wie man Systemaufgaben analysiert und spezifiziert.
Release date Australia
July 13th, 2009
Author
Audience
  • General (US: Trade)
Country of Publication
Germany
Illustrations
black & white illustrations
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Pages
300
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dimensions
156x234x16
ISBN-13
9783540606550
Product ID
3157288

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

Help & options

Filed under...