Cargando…
An algebraic theory of program specification and correctness using symmetry operations
Autor principal: | Gabriel, J R |
---|---|
Lenguaje: | eng |
Publicado: |
1987
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/177913 |
Ejemplares similares
-
A theory of program correctness, and algorithms for proofs
por: Gabriel, J R, et al.
Publicado: (1987) -
Algebraic theory of automata
por: Ginzburg, Abraham
Publicado: (1968) -
Programming tools for linear algebra
por: Erskine, George A, et al.
Publicado: (1985) -
Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018) -
2nd Workshop on Algebraic Methods : Theory, Tools and Applications
por: Bergstra, Jan A, et al.
Publicado: (1991)