Artículos relacionados a Time & Logic: A Computational Approach (Routledge...

Time & Logic: A Computational Approach (Routledge Revivals) - Tapa blanda

 
9780367336578: Time & Logic: A Computational Approach (Routledge Revivals)

Sinopsis

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialRoutledge
  • Año de publicación2021
  • ISBN 10 036733657X
  • ISBN 13 9780367336578
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de edición1
  • Número de páginas338
  • EditorBolc Leonard, Szałas Andrzej
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Como Nuevo
Unread book in perfect condition...
Ver este artículo

EUR 17,48 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 17,70 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9780367336530: Time & Logic: A Computational Approach (Routledge Revivals)

Edición Destacada

ISBN 10:  0367336537 ISBN 13:  9780367336530
Editorial: Routledge, 2020
Tapa dura

Resultados de la búsqueda para Time & Logic: A Computational Approach (Routledge...

Imagen de archivo

Leonard Bolc, Andrzej Szalas
Publicado por Routledge 2021-09-30, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: New. Nº de ref. del artículo: 6666-TNFPD-9780367336578

Contactar al vendedor

Comprar nuevo

EUR 32,83
Convertir moneda
Gastos de envío: EUR 17,70
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen de archivo

Leonard Bolc
Publicado por Taylor & Francis Ltd, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo Paperback / softback

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 185. Nº de ref. del artículo: B9780367336578

Contactar al vendedor

Comprar nuevo

EUR 46,31
Convertir moneda
Gastos de envío: EUR 5,30
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Routledge, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo Tapa blanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 390295425

Contactar al vendedor

Comprar nuevo

EUR 48,82
Convertir moneda
Gastos de envío: EUR 10,45
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 3 disponibles

Añadir al carrito

Imagen de archivo

Bolc, Leonard (Editor)/ Szalas, Andrzej (Editor)
Publicado por Routledge, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo Paperback
Impresión bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 332 pages. 9.25x6.19x0.77 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __036733657X

Contactar al vendedor

Comprar nuevo

EUR 47,58
Convertir moneda
Gastos de envío: EUR 11,81
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Routledge, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9780367336578_new

Contactar al vendedor

Comprar nuevo

EUR 54,70
Convertir moneda
Gastos de envío: EUR 4,70
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Leonard Bolc
Publicado por Taylor and Francis, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store UK, Fairford, GLOS, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780367336578

Contactar al vendedor

Comprar nuevo

EUR 55,65
Convertir moneda
Gastos de envío: EUR 4,37
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Leonard Bolc
Publicado por Taylor and Francis, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780367336578

Contactar al vendedor

Comprar nuevo

EUR 59,67
Convertir moneda
Gastos de envío: EUR 0,93
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Scott A. Chamberlin
Publicado por Taylor & Francis, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo Einband - flex.(Paperback)
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Einband - flex.(Paperback). Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techni. Nº de ref. del artículo: 594574510

Contactar al vendedor

Comprar nuevo

EUR 42,66
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Bolc, Leonard (EDT); Szalas, Andrzej (EDT)
Publicado por Routledge, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43672271

Contactar al vendedor

Comprar usado

EUR 45,06
Convertir moneda
Gastos de envío: EUR 17,48
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Bolc, Leonard (EDT); Szalas, Andrzej (EDT)
Publicado por Routledge, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 43672271-n

Contactar al vendedor

Comprar nuevo

EUR 46,29
Convertir moneda
Gastos de envío: EUR 17,71
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 8 copia(s) de este libro

Ver todos los resultados de su búsqueda