9781402012709 - logic for concurrency and synchronisation: 18 (trends in logic, 18) (13 resultados)
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 57,93
Envío por EUR 3,43Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 310.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 54,56
Envío por EUR 7,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 310 Illus.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: Biblios, frankfurt am main, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 54,14
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 310.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 110,24
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 112,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: Basi6 International, Irving, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 112,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,24
Envío por EUR 13,83Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,23
Envío por EUR 17,32Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer Netherlands 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 127,59
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New. Includes supplementary material: sn.pub/extrasThis book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major parad.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 171,27
Envío por EUR 17,32Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: Mispah books, Redhill, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 161,76
Envío por EUR 28,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. Like New. book.
Idioma: Inglés
Editorial: Springer 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 194,57
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer Mai 2003 2003
Serie: Trends in Logic, Libro 5 de 53. Libro 5 de 53 - Trends in Logic
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 162,93
Envío por EUR 63,11Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. Neuware - The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p-… cesses - as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like 'proof' hdenotes both a static 'certificate' of truth, and an activity which humans or machines engage in. Increasing our understanding of l- ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and - with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed - gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book.
