Salta al contenuto principale

Foto dell'autore

Roland C. Backhouse

Autore di Program Construction: Calculating Implementations from Specifications

9 opere 60 membri 0 recensioni

Sull'Autore

Roland Backhouse leads the Foundations of Programming research group at the University of Nottingham.

Comprende il nome: Roland Backhouse

Opere di Roland C. Backhouse

Popolari Recenti

Program Construction: Calculating Implementations from Specifications (2003) 13 copie

Algorithmic Problem Solving (2011) 12 copie

Syntax of programming languages : theory and practice (1979) 9 copie

Program Construction and Verification (1986) 8 copie

Generic Programming: Advanced Lectures (Lecture Notes in Computer Science) (2003) 7 copie

Programme Construction and Verification (1986) 5 copie

Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 2000 :… (2006) 3 copie

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop… (2002) 2 copie

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised… (2007) 1 copia

Esplora le opere

Etichette

.test (1) 2012-0205 (1) 2014-0913 (1) @eB (1) @oh (1) computazione (4) Computer (1) computer (1) Computing Science (1) CS (1) D.3.4 Processors (1) da leggere (1) DSA (1) EBook (1) F (1) File #1 & 2 FS (1) H6PSPC (1) in lettura (1) Informatica (1) Matematica (1) non categorizzato (1) program verification (1) Programmazione (1) programmazione (2) Sintassi (1) Software (1) Springer (1) TUM (1) verification (1)

Traduzione delle etichette attiva

Informazioni generali

Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.

Utenti

Statistiche

Opere: 9
Utenti: 60
Popolarità: #277,520
Voto: 3.0

ISBN: 14

Grafici & Tabelle

Vedi altri Grafici e tabelle

Immagini

Galleria dell'autore

Collegamenti

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.