Tools and Algorithms for the Construction and Analysis of Systems - Tapa dura

Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke

9781013271212: Tools and Algorithms for the Construction and Analysis of Systems

Tapa dura

ISBN 10: 1013271211 ISBN 13: 9781013271212

Editorial: Saint Philip Street Press, 2020

Ver todas las copias de esta edici�n del ISBN

0 Usado

9 Nuevo

De EUR 57,99

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

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

Editorial: Saint Philip Street Press
A�o de publicaci�n: 2020
Idioma: Ingl�s
ISBN 10: 1013271211
ISBN 13: 9781013271212
Encuadernaci�n: Tapa dura
N�mero de p�ginas: 280
Contacto del fabricante: no disponible

Comprar nuevo

Ver este art�culo

EUR 57,99

Convertir moneda

EUR 5,20 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9781013271205: Tools and Algorithms for the Construction and Analysis of Systems

Edici�n Destacada

ISBN 10: 1013271203 ISBN 13: 9781013271205
Editorial: Saint Philip Street Press, 2020
Tapa blanda

Resultados de la b�squeda para Tools and Algorithms for the Construction and Analysis...

Imagen de archivo

Tools and Algorithms for the Construction and Analysis of Systems

Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke

Publicado por Saint Philip Street Press, 2020

ISBN 10: 1013271211 ISBN 13: 9781013271212

Nuevo Tapa dura

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

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9781013271212_new

Contactar al vendedor

Comprar nuevo

EUR 57,99

Convertir moneda

Gastos de env�o: EUR 5,20

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

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen

Publicado por Saint Philip Street Press, 2020

ISBN 10: 1013271211 ISBN 13: 9781013271212

Nuevo Tapa dura

Impresi�n bajo demanda

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

Calificaci�n del vendedor: 5 de 5 estrellas

HRD. 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: L1-9781013271212

Contactar al vendedor

Comprar nuevo

EUR 58,74

Convertir moneda

Gastos de env�o: EUR 4,94

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

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen

Publicado por Saint Philip Street Press, 2020

ISBN 10: 1013271211 ISBN 13: 9781013271212

Nuevo Tapa dura

Impresi�n bajo demanda

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

Calificaci�n del vendedor: 5 de 5 estrellas

HRD. Condici�n: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N� de ref. del art�culo: L1-9781013271212

Contactar al vendedor

Comprar nuevo

EUR 65,83

Convertir moneda

Gastos de env�o: EUR 1,31

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 de archivo

Tools and Algorithms for the Construction and Analysis of Systems

Bernhard Steffen

Publicado por Saint Philip Street Press, 2020

ISBN 10: 1013271211 ISBN 13: 9781013271212

Nuevo Tapa dura

Impresi�n bajo demanda

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

Calificaci�n del vendedor: 5 de 5 estrellas

Hardback. Condici�n: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 216. N� de ref. del art�culo: C9781013271212

Contactar al vendedor

Comprar nuevo

EUR 64,01

Convertir moneda

Gastos de env�o: EUR 5,45

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

Tools and Algorithms for the Construction and Analysis of Systems

Steffen, Bernhard|Kordon, Fabrice|Huisman, Marieke

Publicado por Saint Philip Street Press, 2020

ISBN 10: 1013271211 ISBN 13: 9781013271212

Nuevo Tapa dura

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Gebunden. Condici�n: New. KlappentextrnrnThis book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which too. N� de ref. del art�culo: 447148832

Contactar al vendedor