Salta al contenuto principale

Foto dell'autore

J. Strother Moore

Autore di Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

3 opere 5 membri 0 recensioni

Opere di J. Strother Moore

Popolari Recenti

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series) (1996) 2 copie

The Correctness problem in computer science (1981) — A cura di — 2 copie

The Interlisp Virtual Machine Specification 1 copia

Esplora le opere

Etichette

Darla Shelf 13 (1) non categorizzato (1)

Traduzione delle etichette attiva

Informazioni generali

Nome legale: Moore, J Strother
Organizzazioni: ACM (Fellow)

Utenti

Statistiche

Opere: 3
Utenti: 5
Popolarità: #1,360,914

ISBN: 3

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.