Cargando…

A theory of program correctness, and algorithms for proofs

Detalles Bibliográficos
Autores principales:	Gabriel, J R, Chapman, R, Kljaich, J L
Lenguaje:	eng
Publicado:	1987
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/178620

Ejemplares similares

An algebraic theory of program specification and correctness using symmetry operations
por: Gabriel, J R
Publicado: (1987)

Algorithms and theory of computation handbook
por: Atallah, Mikhail J
Publicado: (1999)

Machine vision: theory, algorithms, practicalities
por: Davies, E R
Publicado: (2005)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

Computer and machine vision: theory, algorithms, practicalities
por: Davies, E R
Publicado: (2012)

An approach to programming multiprocessing algorithms on the Denelcor HEP
por: Lusk, E L, et al.
Publicado: (1983)

An active-set algorithm for nonlinear programming using linear programming and equality constrained subproblems
por: Byrd, R H, et al.
Publicado: (2002)

Hack proofing your network
por: Ahmad, David R Mirza
Publicado: (2002)

Data mining: theories, algorithms, and examples
por: Ye, Nong
Publicado: (2013)

Channel coding : theory, algorithms, and applications
por: Declerq, David, et al.
Publicado: (2014)

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

Algorithms and data structures = programs
por: Wirth, Niklaus
Publicado: (1976)

Algorithms and programming: problems and solutions
por: Shen, Alexander
Publicado: (1997)

Programming quantum computers: essential algorithms and code samples
por: Johnston, Eric R, et al.
Publicado: (2019)

Rendezvous in distributed systems: theory, algorithms and applications
por: Gu, Zhaoquan, et al.
Publicado: (2017)

Probabilistic reasoning in expert systems: theory and algorithms
por: Neapolitan, Richard E
Publicado: (1990)

Fundamentals of grid computing: theory, algorithms and technologies
por: Magoulès, Frédéric
Publicado: (2010)

Visual computing for medicine: theory, algorithms, and applications
por: Preim, Bernhard, et al.
Publicado: (2014)

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

Swimming: A data driven acceptance correction algorithm
por: Giordano, D, et al.
Publicado: (2012)

Super scaling PROOF to very large clusters
por: Ballintijn, M, et al.
Publicado: (2005)

Assessing and improving prediction and classification: theory and algorithms in C++
por: Masters, Timothy
Publicado: (2017)

Assessing and improving prediction and classification: theory and algorithms in C++
por: Masters, Timothy
Publicado: (2018)

Building Software for Simulation: Theory and Algorithms, with Applications in C++
por: Nutaro, James
Publicado: (2010)

Algorithmic information theory: mathematics of digital information processing
por: Seibt, Peter
Publicado: (2007)

High-utility pattern mining: theory, algorithms and applications
por: Fournier-Viger, Philippe, et al.
Publicado: (2019)

Introduction to programming: learn to program in Java with data structures, algorithms, and logic
por: Samoylov, Nick
Publicado: (2018)

DPM: Future Proof Storage
por: Alvarez, Alejandro, et al.
Publicado: (2012)

DPM: Future Proof Storage
por: Alvarez, Alejandro, et al.
Publicado: (2012)

Probabilistic proof systems: a primer
por: Goldreich, Oded
Publicado: (2008)

Support vector machines: optimization based theory, algorithms, and extensions
por: Deng, Naiyang, et al.
Publicado: (2013)

PROOF: the Parallel ROOT Facility. Scheduling and Load-balancing
por: Iwaszkiewicz, J, et al.
Publicado: (2007)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Game programming algorithms and techniques: a platform-agnostic approach
por: Madhav, Sanjay
Publicado: (2014)

The LHCb Grid simulation: Proof of concept
por: Hushchyn, M, et al.
Publicado: (2017)

Evaluating Google Compute Engine with PROOF
por: Ganis, Gerardo, et al.
Publicado: (2014)

Parallelizing TTree::Draw functionality with PROOF
por: Marinaci, Stefano
Publicado: (2014)

Guide to computational modelling for decision processes: theory, algorithms, techniques and applications
por: Berry, Stuart, et al.
Publicado: (2017)

Sparse representation, modeling and learning in visual recognition: theory, algorithms and applications
por: Cheng, Hong
Publicado: (2015)

Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
por: Weikum, Gerhard, et al.
Publicado: (2002)

Cannot write session to /tmp/vufind_sessions/sess_ln564ie062nupju66p80thenn5