Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
EUR 29,08 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiDa: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Hardcover. Condizione: Very Good. First Edition. A few library markings, no library wear. No DJ. Binding is tight, text clean. This volume shows how the shared interests of three different research areas can lead to significant exchanges: six papers present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler. Codice articolo 3000110
Quantità: 1 disponibili