Data refinement View on Open Library

Data refinement

by W.-P. de Roever , Willem-Paul de Roever , Kai Engelhardt

No reviews yet
First published: 1998 1 language ISBN: 9780511836503
Subjects
Computer simulation Verification Data structures (Computer science) Computer programs Databases & data structures Mathematical theory of computation Science/Mathematics Data Structures Computers Computers - General Information

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by W.-P. de Roever

Stepwise refinement of distributed systems

Stepwise refinement of distributed syste...

Concurrency verification

Concurrency verification

A Decade of concurrency

A Decade of concurrency

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Linear Time, Branching Time and Partial ...

Data refinement

Data refinement

Compositionality

Compositionality

You Might Also Like

More in Computer simulation
Job scheduling strategies for parallel processing

Job scheduling strategies for parallel p...

JSSPP'99 (1999 San Juan, P.R.)
Control and Dynamic Systems

Control and Dynamic Systems

Cornelius T. Leondes
Neural Information Processing

Neural Information Processing

Tingwen Huang
Digital Design

Digital Design

John F. Wakerly
Computer Information Systems and Industrial Management

Computer Information Systems and Industr...

Khalid Saeed
Pattern Recognition

Pattern Recognition

Jesús Ariel Carrasco-Ochoa