• Produktbild: Relational Methods in Computer Science
  • Produktbild: Relational Methods in Computer Science

Relational Methods in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.04.1997

Abbildungen

XV, 272 p. 3 illus.

Herausgeber

Chris Brink + weitere

Verlag

Springer Wien

Seitenzahl

272

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

446 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-3-211-82971-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.04.1997

Abbildungen

XV, 272 p. 3 illus.

Herausgeber

Verlag

Springer Wien

Seitenzahl

272

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

446 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-3-211-82971-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Relational Methods in Computer Science
  • Produktbild: Relational Methods in Computer Science
  • I. Introduction.- 1 Background Material.- II. Algebras.- 2 Relation Algebras.- 3 Heterogeneous Relation.- 4 Fork Algebras.- III. Logics.- 5 Relation Algebra and Modal Logics.- 6 Relational Formalisation of Nonclassical Logics.- 7 Linear Logic.- IV. Programs.- 8 Relational Semantics of Functional Programs.- 9 Algorithms from Relational Specifications.- 10 Programs and Datatypes.- 11 Refinement and Demonic Semantics.- 12 Tabular Representations in Relational Documents.- V. Other Application Areas.- 13 Databases.- 14 Logic, Language, and Information.- 15 Natural Language.- Bibliography (compiled by Wolfram Kahl, Thomas Ströhlein).- Symbol Table.- Addresses of Contributors.