044 209 91 25 079 869 90 44
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Logische Grundlagen der Informatik

E-BookPDFDRM AdobeE-Book
Verkaufsrang4648162in
CHF141.85

Beschreibung

Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Logik in der Informatik -- 2. Beispiele logischer Beschreibungen -- 3. Signaturen und Strukturen -- 4. Terme, Formeln und ihre Auswertung -- 5. Spezifikationen und Modelle -- 6. Spezielle Situationen -- 7. Folgern -- 8. Ableiten -- 9. Anwendungen in Skizzen -- 10. Ausblick -- Anhang
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783110701920
ProduktartE-Book
EinbandE-Book
FormatPDF
Format HinweisDRM Adobe
Erscheinungsdatum12.10.2020
Auflage20001 A. Reprint 2020
ReiheHandbuch der Informatik
Reihen-Nr.1.1
Seiten165 Seiten
SpracheDeutsch
Artikel-Nr.10267475
KatalogVC
Datenquelle-Nr.4517563
Weitere Details

Reihe

Über den/die AutorIn