Vorlesungen über Informatik di Gerhard Goos edito da Springer Berlin Heidelberg
Alta reperibilità

Vorlesungen über Informatik

Berechenbarkeit, formale Sprachen, Spezifikationen

EAN:

9783540606550

ISBN:

3540606556

Pagine:
300
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Vorlesungen über Informatik

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.

Spedizione gratuita
€ 35.84
o 3 rate da € 11.95 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Vorlesungen über Informatik
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti