Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka 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
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.95 zł
The Workshop on Formal Methods in Databases and Software Engineering took place at Concordia Univers...

Informacje o książce

Autor
V.S. Alagar, Laks V.S. Lakshmanan, F. Sadri
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1993
strony
193
EAN
9783540198123
ISBN
3540198121
Enbook ID
02172581
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
320
Wymiary
155 x 235 x 13

Pełny opis

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.

Możesz być zainteresowany

BSAVA Manual of Raptors, Pigeons and Passerine Birds

John Chitty
485.82 zł

Fintech with Artificial Intelligence, Big Data, and Blockchain

Paul Moon Sub Choi
581.08 zł

Klienci, którzy kupili tę książkę, kupili również

Ultimate Spider-Man a spol. 16

Brian Michael Bendis
29.66 zł

Bogenbohlendächer.

Klaus Erler
146.87 zł

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

Bernhard Ritter
128.82 zł

Therapeutisches Klettern

Anne-Claire Kowald
156.05 zł

Desarrollo de la conciencia moral

Shirley Marcela Nieto Luque
179.86 zł