Tools And Algorithms For The Construction And Analysis Of Systems

ISBN 10: 3032227488 ISBN 13: 9783032227485

Editorial: Springer, 2026

Usado Encuadernaci�n de tapa blanda

Librer�a: GreatBookPrices, Columbia, MD, Estados Unidos de America Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 6 de abril de 2009

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Unread book in perfect condition. N� de ref. del art�culo 53338971

Denunciar este art�culo

Sinopsis:

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Tools And Algorithms For The Construction ...
Editorial: Springer
A�o de publicaci�n: 2026
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: As New

Los mejores resultados en AbeBooks

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Publicado por Springer Verlag GmbH, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N� de ref. del art�culo: 2926018963

Contactar al vendedor

Comprar nuevo

EUR 39,60

Env�o por EUR 48,99
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems | 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Sebastian Junges (u. a.)

Publicado por Springer, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II | Sebastian Junges (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvii | Englisch | 2026 | Springer | EAN 9783032227485 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de ref. del art�culo: 135032062

Contactar al vendedor

Comprar nuevo

EUR 41,35

Env�o por EUR 70,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems : 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Sebastian Junges

Publicado por Springer, Palgrave Macmillan, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Taschenbuch

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

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026. N� de ref. del art�culo: 9783032227485

Contactar al vendedor

Comprar nuevo

EUR 42,79

Env�o por EUR 64,72
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Sebastian Junges

Publicado por Springer, Palgrave Macmillan Mai 2026, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 632 pp. Englisch. N� de ref. del art�culo: 9783032227485

Contactar al vendedor

Comprar nuevo

EUR 42,79

Env�o por EUR 60,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Guy Katz

Publicado por Springer Nature Switzerland AG Jun 2026, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Taschenbuch

Impresi�n bajo demanda

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

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026. 603 pp. Englisch. N� de ref. del art�culo: 9783032227485

Contactar al vendedor

Comprar nuevo

EUR 42,79

Env�o por EUR 23,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Tools and Algorithms for the Construction and Analysis of Systems (Paperback)

Sebastian Junges

Publicado por Springer Nature Switzerland AG, Cham, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Paperback

Impresi�n bajo demanda

Librería: CitiRetail, Stevenage, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de ref. del art�culo: 9783032227485

Contactar al vendedor

Comprar nuevo

EUR 53,43

Env�o por EUR 42,66
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Tools and Algorithms for the Construction and Analysis of Systems (Paperback)

Sebastian Junges

Publicado por Springer Nature Switzerland AG, Cham, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Paperback

Impresi�n bajo demanda

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de ref. del art�culo: 9783032227485

Contactar al vendedor

Comprar nuevo

EUR 65,19

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Tools and Algorithms for the Construction and Analysis of Systems (Paperback)

Sebastian Junges

Publicado por Springer Nature Switzerland AG, Cham, 2026

ISBN 10: 3032227488 ISBN 13: 9783032227485

Nuevo Paperback

Impresi�n bajo demanda

Librería: AussieBookSeller, Truganina, VIC, Australia

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N� de ref. del art�culo: 9783032227485

Contactar al vendedor