Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 07.09.2026 bis 09.09.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
  • Produktbild: Formal Methods in Databases and Software Engineering
  • Produktbild: Formal Methods in Databases and Software Engineering

Formal Methods in Databases and Software Engineering Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992

Aus der Reihe Workshops in Computing

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.02.1993

Abbildungen

VII, 193 p.

Herausgeber

V.S. Alagar + weitere

Verlag

Springer Berlin

Seitenzahl

193

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

318 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-3-540-19812-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.02.1993

Abbildungen

VII, 193 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

193

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

318 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-3-540-19812-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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: Formal Methods in Databases and Software Engineering
  • Produktbild: Formal Methods in Databases and Software Engineering
  • Transaction Logic: An (Early) Exposé.- Aggregate Operations in the Information Source Tracking Method.- An Incremental Concept Formation Approach for Learning from Databases.- The Tecton Proof System.- Modeling Time in Information Systems.- A Unified Framework for Database Specification: Functional Approach.- Using VDM Within an Object-Oriented Framework.- Software Engineering Environments — What Do We Want?.- Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems.- On Querying Temporal Deductive Databases.- Intuitionistic Interpretation of Deductive Databases with Incomplete Information.- Author Index.