Cargando…

An algebraic theory of program specification and correctness using symmetry operations

Detalles Bibliográficos
Autor principal:	Gabriel, J R
Lenguaje:	eng
Publicado:	1987
Materias:	Computing and Computers
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)

1st Workshop on Algebraic Methods : Theory, Tools and Applications
por: Bergstra, Jan A, et al.
Publicado: (1989)

Doing math with Python: use programming to explore algebra, statistics, calculus, and more!
por: Saha, Amit
Publicado: (2015)

1st International Joint Conference of ISSAC-88 and AAECC-6 : Applied Algebra, Theory and Applications and Error-correcting Codes
Publicado: (1988)

Algorithms for computer algebra
por: Geddes, Keith O, et al.
Publicado: (1992)

Computational algebra and number theory
por: Van der Poorten, Alf J, et al.
Publicado: (1995)

Genetic programming theory and practice
por: Riolo, Rick, et al.
Publicado: (2007)

MATLAB matrix algebra
por: Pérez López, César
Publicado: (2014)

Modern Computer Algebra
por: Gathen, Joachim Von Zur, et al.
Publicado: (2003)

Geometric Algebra Computing
por: Corrochano, Eduardo Bayro, et al.
Publicado: (2010)

Fuzzy commutative algebra
por: Mordeson, John N, et al.
Publicado: (1998)

Algebraic curves in cryptography
por: Ling, San
Publicado: (2013)

Schaum's outline of theory and problems of programming with C++
por: Hubbard, John R
Publicado: (2000)

Linear algebra on high-performance computers
por: Dongarra, J J, et al.
Publicado: (1986)

REDUCE: software for algebraic computation
por: Rayna, Gerhard
Publicado: (1987)

European Conference on Computer Algebra
Publicado: (1987)

Algebraic 3-D modeling
por: Hartwig, Andreas
Publicado: (1996)

Directed algebraic topology and concurrency
por: Fajstrup, Lisbeth, et al.
Publicado: (2016)

Computer algebra with symbolic C++
por: Hardy, Yorick, et al.
Publicado: (2008)

Analysis of DIRAC's behavior using model checking with process algebra
por: Remenska, Daniela, et al.
Publicado: (2012)

School in Computational Algebra and Number Theory
Publicado: (2014)

Co-operative control of multi-agent systems: theory and applications
por: Wang, Yue, et al.
Publicado: (2017)

MATLAB symbolic algebra and calculus tools
por: Pérez López, César
Publicado: (2014)

Logic and algebraic structures in quantum computing
por: Chubb, Jennifer, et al.
Publicado: (2016)

Conference on the Algebraic Methodology and Software Technology
Publicado: (1993)

Clifford algebras with numeric and symbolic computations
por: Lounesto, Pertti, et al.
Publicado: (1996)

International Symposium on Symbolic and Algebraic Manipulation
por: Ng, Edward W
Publicado: (1979)

The PATCHY system for updating, operation and storage of large programs
por: Hajdu, Kaeman
Publicado: (1975)

Hands-on system programming with Linux: explore Linux system programming interfaces, theory, and practice
por: Billimoria, Kaiwan N
Publicado: (2018)

7th Rhine Workshop on Computer Algebra
Publicado: (2000)

Micoroprocesseur encyclopedia: technical specifications and description of operation
por: Sybex. Paris
Publicado: (1977)

Quantum symmetries on operator algebras
por: Evans, David E, et al.
Publicado: (1998)

Understanding Unix/Linux programming: a guide to theory and practice
por: Molay, Bruce
Publicado: (2003)

Mastering ROS for robotics programming: design, build, and simulate complex robots using Robot Operating System
por: Joseph, Lentin, et al.
Publicado: (2018)

Process algebras for petri nets: the alphabetization of distributed systems
por: Gorrieri, Roberto
Publicado: (2017)

6th IMACS Conference on Applications of Computer Algebra
Publicado: (2000)

Cannot write session to /tmp/vufind_sessions/sess_j22dvveadbgb2c67jcaut16ov1