Seguici su

Cerca

Torna Indietro

Axiomatising the logic of computer programming

Goldblatt, Robert

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Axiomatising the logic of computer programming

Nomi

[Autore] Goldblatt, Robert

Descrizione

Axiomatising the logic of computer programming / Robert Goldblatt

Descrizione Fisica

XI, 304 p. ; 25 cm

Numeri Standard

ISBN: 0387112103, New York
ISBN: 3540112103, Berlin

Data

1982

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0020111

Link Risorse

http://id.sbn.it/bid/AQ10020111

Tag

Immagini

Programming Google app engine

Anno : 2013

Programming Google app engine

Anno : 2013

Risultati 2 di 20501

Visualizza Tutti

Testi

Topoi : the categorial analysis of logic

Autore : Goldblatt, Robert

Anno : 2006

Topoi : the categorial analysis of logic

Autore : Goldblatt, Robert

Anno : 1979

Risultati 2 di 2186095

Visualizza Tutti

Video

Lo stagista inaspettato

Anno : 2016

Piramide di paura

Anno : 1900

Risultati 2 di 69490

Visualizza Tutti

Audio

12: [*Robert Craft conducts under the supervision of Igor Stravinsky] : Song of the Nightingale

Autore : Stravinskij, Igorʹ Fëdorovi

Anno : 1991

The strange case of Dr Jekyll and Mr Hyde

Autore : Stevenson, Robert Louis <1850-1894>

Anno : 1999

Risultati 2 di 23848

Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia

Regione Sardegna

Axiomatising the logic of computer programming

Tag

Programming Google app engine

Programming Google app engine

Topoi : the categorial analysis of logic

Topoi : the categorial analysis of logic

Lo stagista inaspettato

Piramide di paura

12: [*Robert Craft conducts under the supervision of Igor Stravinsky] : Song of the Nightingale

The strange case of Dr Jekyll and Mr Hyde

Commenti