Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Formal Methods in Databases and Software Engineering V.S. Alagar

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

Autor: V.S. Alagar, Laks V.S. Lakshmanan, F. Sadri
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia Univers...

Informace o knize

Autor
V.S. Alagar, Laks V.S. Lakshmanan, F. Sadri
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1993
Stránek
193
EAN
9783540198123
ISBN
3540198121
Enbook ID
02172581
Vydavatel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnost
320
Rozměry
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 zajímat

BSAVA Manual of Raptors, Pigeons and Passerine Birds

John Chitty
2 493 Kč

Fintech with Artificial Intelligence, Big Data, and Blockchain

Paul Moon Sub Choi
3 125 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Ultimate Spider-Man a spol. 16

Brian Michael Bendis
162 Kč

Bogenbohlendächer.

Klaus Erler
836 Kč

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

Bernhard Ritter
690 Kč

Therapeutisches Klettern

Anne-Claire Kowald
839 Kč

Desarrollo de la conciencia moral

Shirley Marcela Nieto Luque
964 Kč