•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous     
  •  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Livres

Ebooks

Papeterie

Jeux

Cadeaux

Tous les produits

Dédicaces

Jobs

Articles

  1. Accueil
  2. Livres
  3. Savoirs
  4. Informatique
  5. Programmation
  6. Algorithmes
  7. Vorlesungen Über Informatik

Vorlesungen Über Informatik

Berechenbarkeit, Formale Sprachen, Spezifikationen

Gerhard Goos
Livre broché | Allemand | -Lehrbuch
29,95 €
+ 59 points
Format
Livraison sous 1 à 4 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

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.

Spécifications

Parties prenantes

Auteur(s) :
Gerhard Goos
Editeur:
Springer

Contenu

Nombre de pages :
284
Langue:
Allemand
Collection :
-Lehrbuch

Caractéristiques

EAN:
9783540606550
Date de parution :
12-09-97
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 234 mm
Poids :
421 g

Les avis