Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Libri antichi e moderni
Fisher, Michael, Owens, Richard (Eds.)
Springer-Verlag,
1995
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Libri antichi e moderni
Fisher, Michael, Owens, Richard (Eds.)
Springer-Verlag,
1995
28,20 €
(Lexington,
Stati Uniti d'America)
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
Dettagli
- Anno di pubblicazione
- 1995
- ISBN
- 9783540589761
- Luogo di stampa
- New York
- Autore
- Fisher, Michael, Owens, Richard (Eds.)
- Editori
- Springer-Verlag
- Edizione
- Reprint
- Soggetto
- Computer Science
- Descrizione
- Paperback
- Stato di conservazione
- Molto buono
- Lingue
- Inglese
- Legatura
- Brossura
- Prima edizione
- False
Descrizione
Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 897 This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery
