Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten.

Published in: J. Log. Comput. (2003)

Keyphrases

d objects
artificial intelligence
complex objects
database systems
database
moving objects
machine learning
deformable objects
object tracking
data objects
object model
real objects
three dimensional objects
target object
object segmentation
three dimensional
neural network