Formal Methods in Databases and Software Engineering

Name: Formal Methods in Databases and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540198123
Price: 50.04 EUR
Availability: InStock

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

Autor: V.S. Alagar, Laks V.S. Lakshmanan, F. Sadri

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.04 €

The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia Univers...

Informácie o knihe

Autor

V.S. Alagar, Laks V.S. Lakshmanan, F. Sadri

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1993

Stránok

193

EAN

9783540198123

ISBN

3540198121

Enbook ID

02172581

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

320

Rozmery

155 x 235 x 13

Kompletný popis

The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia University, Montreal, Canada, from the 15-16 May 1992. Most existing research tends to concentrate exclusively on formal methods in either databases or software engineering. This was the first in a proposed series of workshops specifically aimed at fostering interdisciplinary research between these two important fields. The workshop provided an opportunity for researchers and practitioners to discuss recent developments in an informal setting. Twelve papers were presented and many lively and constructive discussions were conducted. This volume contains selected papers from the workshop, which have been expanded and edited for publication. The theme of the workshop was explored through a variety of topics, including: transaction logic programming; modeling uncertainty and incompleteness in databases; concept learning and data mining; efficient deduction and induction in knowledge-base systems; proof management and verification; temporal and real-time databases; object-oriented VDM; software engineering environments and object charts. Formal Methods in Databases and Software Engineering brings together many topics of current interest in database and software engineering research. By combining these two complementary fields it provides new perspectives on various important issues. It will provide invaluable reading for researchers, practitioners and postgraduate students.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

BSAVA Manual of Raptors, Pigeons and Passerine Birds

Fintech with Artificial Intelligence, Big Data, and Blockchain

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Ultimate Spider-Man a spol. 16

Bogenbohlendächer.

UEber die Ermittlung von Blut-, Samen- und Exkrementenflecken in Kriminalfallen

Therapeutisches Klettern

Desarrollo de la conciencia moral