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)

Nipkow, Tobias
ID: 62010

Opere

Altre forme del nome

Authority file

http://viaf.org/viaf/113774856/

Nipkow, Tobias, 1958-..

http://viaf.org/viaf/113774856/

http://viaf.org/viaf/113774856/

Nome da opac

Nipkow Tobias 1958-

Nome da opac

Nipkow, Tobias <1958- >

Nome da opac

Seleziona tutte

Deseleziona

Concrete Semantics

...

FM 2006

...

Formal logical methods for system security and correctness

...

Isabelle

...

Isabelle

...

Software safety and security

...

Term rewriting and all that

...