Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Wikipedia

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Manna, Zohar
ID: 25952

Opere

Altre forme del nome

Authority file

http://viaf.org/viaf/91223528/

Manna, Zohar, 1939-...

http://viaf.org/viaf/91223528/

http://viaf.org/viaf/91223528/

Zohar Manna American computer scientist

Nome da opac

Nome da opac

Seleziona tutte

Deseleziona

Calculus of computation

...

Logic of computer programming

...

Mathematical theory of computation

...

Studies in automatic programming logic

...

Temporal Logic of Reactive and Concurrent Systems

...

Temporal logic of reactive and concurrent systems

...

Time for verification

...