Explore Books on
spécification

Techniques avancées pour bases de données

By Martin, Daniel ingénieur I.D.N.

Program development by specification and transformation

By Berthold Hoffmann

Temporal logic in specification

By Howard Barringer

Graph transformations in computer science

By Hartmut Ehrig