• 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

Herausgeber

V.S. Alagar + weitere

Verlag

Springer Berlin

Seitenzahl

193

Maße (L/B/H)

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

Gewicht

320 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

Herausgeber

Verlag

Springer Berlin

Seitenzahl

193

Maße (L/B/H)

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

Gewicht

320 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-3-540-19812-3

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: 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.