Salta al contenuto principale

Come join our latest LibraryThing Hunt!

Foto dell'autore

Michael Huth

Autore di Logic in Computer Science: Modelling and Reasoning about Systems

6 opere 93 membri 0 recensioni

Opere di Michael Huth

Popolari Recenti

Logic in Computer Science: Modelling and Reasoning about Systems (1999) 81 copie

Logic in Computer Science: Modelling and Reasoning about Systems (2004) 3 copie

Wiley-Schnellkurs Prozessmanagement (2017) 3 copie

Risikomanagement in der Logistik: Konzepte - Instrumente - Anwendungsbeispiele (German Edition) (2015) 2 copie

Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings (2013) 2 copie

Wiley-schnellkurs logistik (2015) 2 copie

Esplora le opere

Etichette

!rev (1) #105 (1) 2e (1) @goog (1) @oh (1) @uasc (1) A restituer - EDF (1) BDD (1) bibalex (1) computazione (2) computer science tripos reading list 2009-2010 (1) CS (2) da leggere (3) file:computing/logic (1) goodreads:3.91 (1) haveebook:pdf (1) IA Avanzada (1) in gothenburg (1) Informatica (9) Ingegneria del software (1) Lega (1) li_3 (1) logic verification model-checking (1) Logica (11) Matematica (2) Model checking (1) Ottobre 2013 (1) owner:klaus (1) posseduto (1) put_to_storage_computing (1) Saggistica (6) shelf: b1 (1) smells of smoke (1) status: on loan to Billy (1) status: on shelf (1) temporal logic (1) Theoretische Informatik (1) Università (1) Van Heerden (1) where:klaus home (1)

Traduzione delle etichette attiva

Informazioni generali

Sesso: male

Utenti

Statistiche

Opere: 6
Utenti: 93
Popolarità: #200,859
Voto: 3.2

ISBN: 20
Lingue: 1

Grafici & Tabelle

Vedi altri Grafici e tabelle

Immagini

Galleria dell'autore

Collegamenti

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.