Importo totale (1 articolo articoli):
Destinazione ordine:
logics time computation di goldblatt robert (13 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (13)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (8)
- Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (2)
- Non Print on Demand (13)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Logics of time and computation (CSLI lecture notes)
Editore: Center for the Study of Language, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Lingua: Inglese
Da: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Shelf wear to covers (fold marks, black lines on back cover, scuffed), Binding is tight. Finding no markings in book. 131pp.
-
Logics of Time and Computation (Lecture Notes)
Editore: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
Da: Reader's Corner, Inc., Raleigh, NC, U.S.A.
Valutazione del venditore 5 su 5 stelle
Trade Paperback. Condizione: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine.
-
Logics of time and computation (CSLI lecture notes)
Editore: Center for the Study of Language and Information, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Lingua: Inglese
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 14,66
EUR 12,10 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Logics of Time & Computation 2e
Editore: Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 28,12
EUR 11,38 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock.
-
Logics of Time and Computation
Editore: The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 29,44
EUR 10,50 per la spedizione da Irlanda a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . .
-
Logics of time and computation (CSLI lecture notes)
Editore: Center for the Study of Language and Information, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Lingua: Inglese
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
EUR 14,65
EUR 28,44 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Good. Type: Book Small plain label inside cover.
-
Logics of Time and Computation
Editore: The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . . Books ship from the US and Ireland.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Editore: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 31,21
EUR 13,63 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logics of Time and Computation
Editore: Centre for the Study of Language & Information, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 34,41
EUR 16,43 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 369.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Editore: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Logics of time and computation (CSLI lecture notes)
Editore: Center for the Study of Language, 1987
ISBN 10: 0937073113 ISBN 13: 9780937073117
Lingua: Inglese
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
-
Logics of Time and Computation
Editore: Centre For The Study Of Language & Information Jun 1992, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Lingua: Inglese
EUR 46,86
EUR 61,70 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, 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, and until; 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, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand.
-
Logics of time and computation (CSLI lecture notes)
Editore: Center for the Study of Language and Information, 1987
ISBN 10: 0937073113 ISBN 13: 9780937073117
Lingua: Inglese
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 220,27
EUR 28,44 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Very Good. book.
