Temporal logic
Computer programmingSymbolic and mathematical LogicElectronic digital computers, programmingLogic, symbolic and mathematical
Browse all genres - ISBN
- 354058241X
Temporal logic est un computer programming, symbolic and mathematical logic book de Dov M. Gabbay.
Découvrez Temporal logic de Dov M. Gabbay, computer programming.
À propos de l'auteur
Dov M. Gabbay est l'auteur de Temporal logic. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Temporal logic ?+
Temporal logic est un livre de Computer programming, Symbolic and mathematical Logic, Electronic digital computers, programming, Logic, symbolic and mathematical.
Qui a écrit Temporal logic ?+
Temporal logic a été écrit par Dov M. Gabbay.