Similar Items: A Run-time environment for a validation language
- The design of a specification language suitable for the generation of compilers
- Bis-snit ontwikkelingstelsel
- A Java bytecode compiler for the 8051 micro-controller
- LF : a language for reliable embedded systems
- A kernel to support computer-aided verification of embedded software
- A survey of proof systems for CSP
Author: Stellenbosch University. Faculty of . Dept. of .
- The expression of possibility in Tshivenda
- A study of high fat milk replacers and high fat postweaning diets in the rearing of young Friesland bull-calves
- The distribution, identity and virus vector potential of Xiphinema Spp. in the Western Cape Province
- The retail patterns of greater Johannesburg with particular reference to the incidence of large-scale retailing
- n Bedryfsielkundige ondersoek na beeldbevordering as 'n promosiestrategie en uitvloeisel van sosiaal-verantwoordelike handelinge : 'n studie in die wynbedryf
- Segregated finite element solution of the incompressible Navier-Stokes equations, with equal-order velocity-pressure formulation