Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Sardinia region

Other actions
Come Back Come Back

Axiomatising the logic of computer programming

Goldblatt, Robert

Axiomatising the logic of computer programming
Information
You can find it in

Category

Testo

Nature

Monografia

Title

Axiomatising the logic of computer programming

Names

[Autore] Goldblatt, Robert

Description

Axiomatising the logic of computer programming / Robert Goldblatt

Physical description

XI, 304 p. ; 25 cm

Standard numbers

ISBN: 0387112103, New York
ISBN: 3540112103, Berlin

Date

1982

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0020111

Resources links

http://id.sbn.it/bid/AQ10020111
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Other actions

Images

Programming Google app engine

Programming Google app engine

Year : 2013
Programming Google app engine

Programming Google app engine

Year : 2013

Results 2 of 20501

View All View All

Texts

Topoi : the categorial analysis of logic

Topoi : the categorial analysis of logic

Author : Goldblatt, Robert

Year : 2006
Topoi : the categorial analysis of logic

Topoi : the categorial analysis of logic

Author : Goldblatt, Robert

Year : 1979

Results 2 of 2186095

View All View All

Video

Lo stagista inaspettato

Lo stagista inaspettato

Year : 2016
Piramide di paura

Piramide di paura

Year : 1900

Results 2 of 69490

View All View All

Audio

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

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

Author : Stravinskij, Igorʹ Fëdorovi

Year : 1991
The strange case of Dr Jekyll and Mr Hyde

The strange case of Dr Jekyll and Mr Hyde

Author : Stevenson, Robert Louis <1850-1894>

Year : 1999

Results 2 of 23848

View All View All

Comments

Load others

Write a comment

Send
Write a comment