The Programming Process: An Introduction Using Vdm And Pascal, Latham

Understanding Z: A Specification Language and its Formal Semantics, J. M. Spivey

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third Internat

An Aspect of Fear, Grace Sheppard

Miracle a mostar, Lowell Sheppard

Hormones, Enzymes and Receptors, Michael C. Sheppard et P.M. Stewart

Vdm Sexy Interdit aux Moins de 18 Ans, Didier Guedj, Monky, Jack Domon et Eldia

Motifs imprimés, Deri Robins