Temporal logic
Computer programmingSymbolic and mathematical LogicElectronic digital computers, programmingLogic, symbolic and mathematical
Browse all genres - ISBN
- 354058241X
Temporal logic è un computer programming, symbolic and mathematical logic book di Dov M. Gabbay.
Scopri Temporal logic di Dov M. Gabbay, computer programming.
Sull'Autore
Dov M. Gabbay è l'autore di Temporal logic. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Temporal logic?+
Temporal logic è un libro di Computer programming, Symbolic and mathematical Logic, Electronic digital computers, programming, Logic, symbolic and mathematical.
Chi ha scritto Temporal logic?+
Temporal logic è stato scritto da Dov M. Gabbay.