Komm zurück

Axiomatising the logic of computer programming

Goldblatt, Robert

Information

Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

Axiomatising the logic of computer programming

Namen

[Autore] Goldblatt, Robert

Beschreibung

Axiomatising the logic of computer programming / Robert Goldblatt

Physische Beschreibung

XI, 304 p. ; 25 cm

Standardzahlen

ISBN: 0387112103, New York
ISBN: 3540112103, Berlin

Datum

1982

Ort der Veröffentlichung

Berlin \etc.!

Dorf

GERMANIA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

IT\ICCU\AQ1\0020111

Ressourcenverbindungen

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

Etikett

Bilder

Programming Google app engine

Jahr : 2013

Programming Google app engine

Jahr : 2013

Ergebnisse 2 von 20501

Alle ansehen

Texte

Topoi : the categorial analysis of logic

Autor : Goldblatt, Robert

Jahr : 2006

Topoi : the categorial analysis of logic

Autor : Goldblatt, Robert

Jahr : 1979

Ergebnisse 2 von 2186095

Alle ansehen

Video

Lo stagista inaspettato

Jahr : 2016

Piramide di paura

Jahr : 1900

Ergebnisse 2 von 69489

Alle ansehen

Audio

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

Autor : Stravinskij, Igorʹ Fëdorovi

Jahr : 1991

The strange case of Dr Jekyll and Mr Hyde

Autor : Stevenson, Robert Louis <1850-1894>

Jahr : 1999

Ergebnisse 2 von 23848

Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken

Sardinienregion

Axiomatising the logic of computer programming

Etikett

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

Kommentare