oder
Loggen Sie sich ein, um 1-Click® einzuschalten.
oder
Mit kostenloser Probeteilnahme bei Amazon Prime. Melden Sie sich während des Bestellvorgangs an. Erfahren Sie mehr
Alle Angebote
Möchten Sie verkaufen? Hier verkaufen
oder
gegen einen Amazon.de Gutschein über EUR 1,45 eintauschen?
Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis)
 
 
Für Kunden: Stellen Sie Ihre eigenen Bilder ein.
Hier reinlesen und suchen
Den Verlag informieren!
Ich möchte dieses Buch auf dem Kindle lesen.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis) [Taschenbuch]

Helmut Eirund (Autor), Bernd Müller (Autor), Gerlinde Schreiber (Autor)
5.0 von 5 Sternen  Alle Rezensionen anzeigen (3 Kundenrezensionen)
Preis: EUR 24,95 kostenlose Lieferung. Siehe Details.
  Alle Preisangaben inkl. MwSt.
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Auf Lager.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verfügbar.
Nur noch 2 Stück auf Lager - jetzt bestellen.
Lieferung bis Mittwoch, 15. Februar: Wählen Sie an der Kasse Morning-Express. Siehe Details.
Gutschein erhalten
Tauschen Sie jetzt Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis) gegen einen Amazon-Gutschein in Höhe von EUR 1,45 ein - einlösbar für Tausende von Artikeln bei Amazon.de. Entdecken Sie mehr eintauschbare Bücher im Bücher Trade-In Shop. Bitte beachten Sie die Teilnahmebedingungen.

Hinweise und Aktionen

  • Valentinstags-Special: Zusätzlich zu Ihrem Amazon-Einkauf jetzt das Album Classical Music from Romantic Movies für nur 1 EUR herunterladen. Alle Infos zur Aktion.

Kunden, die diesen Artikel gekauft haben, kauften auch

Produktinformation

  • Taschenbuch: 124 Seiten
  • Verlag: B.G. Teubner Verlag; Auflage: 1. Aufl. (11. Oktober 2000)
  • Sprache: Deutsch
  • ISBN-10: 3519026430
  • ISBN-13: 978-3519026433
  • Größe und/oder Gewicht: 22,8 x 16,2 x 0,9 cm
  • Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen  Alle Rezensionen anzeigen (3 Kundenrezensionen)
  • Amazon Bestseller-Rang: Nr. 651.291 in Bücher (Siehe Top 100 in Bücher)

    •  Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

     Ist der Verkauf dieses Produkts für Sie nicht akzeptabel?

  • Komplettes Inhaltsverzeichnis ansehen

Mehr über die Autoren

Entdecken Sie Bücher, lesen Sie über Autoren und mehr
Bernd Müller
Bernd Müller
Helmut Eirund
Helmut Eirund

Produktbeschreibungen

Werbetext

Beschreibungsverfahren leicht gemacht

Kurzbeschreibung

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet.
Alle Produktbeschreibungen
In diesem Buch (Mehr dazu)
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Hier reinlesen und suchen:

Vorgeschlagene Tags zu ähnlichen Produkten

 (Was ist das?)
Setzen Sie den ersten relevanten Tag hinzu (ein Schlüsselwort, das mit diesem Produkt in engem Zusammenhang steht).
 
(3)
(3)
(2)
(1)
(1)
(1)
(1)
(1)
 
Beliebteste Tags anzeigen

Eine digitale Version dieses Buchs im Kindle-Shop verkaufen

Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen. Weitere Informationen
 

Kundenrezensionen

3 Rezensionen
5 Sterne:
 (3)
4 Sterne:    (0)
3 Sterne:    (0)
2 Sterne:    (0)
1 Sterne:    (0)
 
 
 
 
 
Durchschnittliche Kundenbewertung
5.0 von 5 Sternen (3 Kundenrezensionen)
 
 
 
 
Sagen Sie Ihre Meinung zu diesem Artikel:
Die hilfreichsten Kundenrezensionen

11 von 12 Kunden fanden die folgende Rezension hilfreich:
5.0 von 5 Sternen Prädikatenlogik. Kompakt auf weniger als 30 Seiten, 4. April 2001
Von Ein Kunde
Rezension bezieht sich auf: Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis) (Taschenbuch)
Rezension zu Kapitel 1 von 5: Dieses Buch ist eines der wenigen Bücher das es schafft ein extrem formalisiertes Thema, wie die Prädikatenlogik, durch glasklare und konsistente Begrifflichkeit zu beschreiben. Dieses Buch erklärt sehr gut, einen Ausschnitt höherer Mathematik, und setzt dem Leser keinen Zeichensalat vor. Die vielen Beispiele und Übungen mit Lösungen sind gut gewählt, und stehen immer in direkter Verbindung zum vorangehenden Stoff. Durch die kurze und knappe Abhandlung läßt dieses Buch so manchen Autor mathematischer Bücher weit hinter sich. Sehr empfehlenswert.
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen 
War diese Rezension für Sie hilfreich? Ja Nein


4 von 5 Kunden fanden die folgende Rezension hilfreich:
5.0 von 5 Sternen Theoretische Informatik - verstaendlich ruebergebracht, 6. Februar 2001
Von Ein Kunde
Rezension bezieht sich auf: Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis) (Taschenbuch)
sehr empfehlenswertes Buch! Ein Buch, das sowohl Anfaengern einen guten Einstieg als auch Fortgeschrittenen einen soliden Ueberblick ueber die oft so "trockene" und schwer verstaendliche Materie der Theoretischen Informatik gibt. Besonders gelungen finde ich die vielen praktischen Beispiele!
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen 
War diese Rezension für Sie hilfreich? Ja Nein


1 von 1 Kunden fanden die folgende Rezension hilfreich:
5.0 von 5 Sternen Kurz und knapp sehr gut, 29. Januar 2006
Rezension bezieht sich auf: Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis) (Taschenbuch)
Es handelt sich um eines der wenigen Bücher, die wenig Bearbeitungszeit schlucken um in den relativ trockenen Stoff einzusteigen.
Viele Beispiele aus dem alltäglichen Leben machen das Buch sehr interessant.
Als besonders gelungen empfinde ich die Abschnitte :
Schreibweisen der Logik
Prädikatenlogik
und
Relationen.

In meinem Studiengang als Wirtschaftsinformatiker hat mir dass Buch sehr weitergeholfen.

Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen 
War diese Rezension für Sie hilfreich? Ja Nein

Sagen Sie Ihre Meinung zu diesem Artikel: Eigene Rezension erstellen
 
 
Nur in den Rezensionen zu diesem Produkt suchen


Kunden diskutieren

Das Forum zu diesem Produkt
Diskussion Antworten Jüngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen
Neue Diskussion starten
Thema:
Erster Beitrag:
Eingabe des Log-ins
 


Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
Alle Amazon-Diskussionen durchsuchen
   
Ähnliche Foren

Lieblingslisten

Legen Sie Ihre eigene Lieblingsliste an

Ähnliche Artikel finden

Anhand des Sachgebietes nach ähnlichen Produkten suchen:
















Das bedeutet, jeder Titel/Artikel muss zu Sachgebiet 1 UND zu Sachgebiet 2 UND... gehören.

Ihr Kommentar

Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

Datenschutzerklärung von Amazon.de Versandbedingungen von Amazon.de Umtausch- & Rücknahme bei Amazon.de