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

Relational Methods in Computer Science

Aus der Reihe Advances in Computing Sciences

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.04.1997

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

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: GPSR Kontakt

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.