Artículos relacionados a Verifying Concurrent Processes Using Temporal Logic:...

Verifying Concurrent Processes Using Temporal Logic: 129 (Lecture Notes in Computer Science) - Tapa blanda

Hailpern, B. T.

 
9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129 (Lecture Notes in Computer Science)
Tapa blanda
ISBN 10: 3540112057 ISBN 13: 9783540112051
Editorial: Springer, 2008

Sinopsis

es un libro, ver nuestra descripción completa

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

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3540112057
ISBN 13 
9783540112051
Encuadernación
Tapa blanda
Número de páginas
224
Contacto del fabricante
no disponible

Comprar usado

Condición: Aceptable
Seiten; 9783540112051.4 Gewicht...
Ver este artículo
9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129 (Lecture Notes in Computer Science)
EUR 6,99

Convertir moneda

EUR 13,90 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo
9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129 (Lecture Notes in Computer Science)
EUR 53,49

Convertir moneda

EUR 11,99 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9780387112053: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  0387112057 ISBN 13:  9780387112053
Tapa blanda

Resultados de la búsqueda para Verifying Concurrent Processes Using Temporal Logic:...

Imagen del vendedor

Hailpern B., T.:
Publicado por Springer, 2008
ISBN 10: 3540112057 ISBN 13: 9783540112051
Antiguo o usado paperback

Librería: Studibuch, Stuttgart, Alemania

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: Befriedigend. Seiten; 9783540112051.4 Gewicht in Gramm: 500. Nº de ref. del artículo: 689038

Contactar al vendedor

Comprar usado

EUR 6,99
Convertir moneda
Gastos de envío: EUR 13,90
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Antiguo o usado Softcover

Librería: Ammareal, Morangis, Francia

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

Softcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1981. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1981. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-576-600

Contactar al vendedor

Comprar usado

EUR 32,08
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

B. T. Hailpern
Publicado por Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

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

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. Nº de ref. del artículo: 9783540112051

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hailpern, B. T.
Publicado por Springer, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
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: ria9783540112051_new

Contactar al vendedor

Comprar nuevo

EUR 60,39
Convertir moneda
Gastos de envío: EUR 5,18
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 del vendedor

B. T. Hailpern
Publicado por Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuevo Tapa blanda
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

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.InhaltsverzeichnisProgramming environment.- Verification.- Temporal logic.- 5. Techniques.- Networ. Nº de ref. del artículo: 4881303

Contactar al vendedor

Comprar nuevo

EUR 48,37
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

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

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

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. 220 pp. Englisch. Nº de ref. del artículo: 9783540112051

Contactar al vendedor

Comprar nuevo

EUR 74,89
Convertir moneda
Gastos de envío: EUR 11,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

B. T. Hailpern
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuevo Taschenbuch
Impresión bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

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

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch. Nº de ref. del artículo: 9783540112051

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 35,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hailpern, B. T.
Publicado por Springer 1982-03, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuevo PF

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

PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540112051

Contactar al vendedor

Comprar nuevo

EUR 76,69
Convertir moneda
Gastos de envío: EUR 17,30
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen de archivo

Hailpern, B. T.
Publicado por Springer, 1982
ISBN 10: 3540112057 ISBN 13: 9783540112051
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, 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: New. Nº de ref. del artículo: ABLIING23Mar3113020159320

Contactar al vendedor

Comprar nuevo

EUR 52,09
Convertir moneda
Gastos de envío: EUR 64,12
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