Vorlesungen UEber Informatik - Berechenbarkeit, Formale Sprachen, Spezifikationen (German, Paperback, 1997 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Springer-Lehrbuch
Release date:	July 2009
First published:	September 1997
Authors:	Gerhard Goos
Dimensions:	234 x 156 x 16mm (L x W x T)
Format:	Paperback - Trade
Pages:	300
Edition:	1997 ed.
ISBN-13:	978-3-540-60655-0
Languages:	German
Categories:	Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions > Loot Warehouse Clearance Sale > Books
LSN:	3-540-60655-6
Barcode:	9783540606550

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!