Supports Goodwill of Silicon Valley job training programs. The cover and pages are in like new condition. Any other included accessories are also in excellent condition showing no wear. N� de r�f. du vendeur GWSVV.0937073946.LN

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Logics of Time and Computation (Volume 7) (...

�diteur : Center for the Study of Language and Inf

Date d'�dition : 1992

Reliure : Couverture souple

Etat : like_new

A propos de ce titre

Pr�sentation de l'�diteur:

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Goodwill of Silicon Valley?s mission is to support our employees, our customers, and people with challenging barriers to employment; to raise their standard of living and improve their lives through our services and social enterprise. Founded in Santa Clara County in 1928, Goodwill of Silicon Valley is dedicated to improving employment opportunities, increasing standards of living, providing economic independence, and restoring our clients? sense of self-worth. We do this through workforce creation, vocational training, and environmental stewardship. With 18 retail stores, an online store, an extensive reuse/recycling operation, and our Contract Services division, we help people overcome barriers to employment, build sustainable livelihoods, and transform their lives and communities.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Goodwill of Silicon Valley
1080 North 7th Street, San Jose, CA, 95112, U.S.A.

Conditions de vente :

We guarantee the condition of every book as it's described on the Abebooks website. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the [Ask bookseller a question] link to contact us and we'll respond within 2 business days.

Conditions de livraison :

Books are shipped 1-2 business days following receipt of payment.
Standard flat rate shipping $15.00 per item via Fedex.
Delivery between 14-28 days.

Informations vendeur d�taill�es

Modes de paiement
accept�s par le vendeur