Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Computer Science and General Issues) - Tapa blanda

9783030174613: Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030174611 ISBN 13: 9783030174613

Editorial: Springer, 2019

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 39,79

8 Nuevo

De EUR 60,13

Rese�a del editor

This book is Open Access under a CC BY licence.

The LNCS 11427 and 11428 proceedings set constitutes 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.

The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Contraportada

This book is Open Access under a CC BY licence.

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

EditorialSpringer
A�o de publicaci�n2019
ISBN 10 3030174611
ISBN 13 9783030174613
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas460
EditorVojnar Tom�š, Zhang Lijun

Comprar usado

Condici�n: Excelente

Zustand: Sehr gut - Gepflegter,...

Ver este art�culo

EUR 39,79

Convertir moneda

EUR 45,00 gastos de env�o desde Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 60,13

Convertir moneda

EUR 3,57 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783030174644: Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Computer Science and General Issues)

Edici�n Destacada

ISBN 10: 3030174646 ISBN 13: 9783030174644
Editorial: Springer, 2019
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: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Computer Science and General Issues)

Publicado por Springer, 2019

ISBN 10: 3030174611 ISBN 13: 9783030174613

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar nuevo

EUR 60,13

Convertir moneda

Gastos de env�o: EUR 3,57

A Estados Unidos de America

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 : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conf

Vojnar, Tomas|Zhang, Lijun

Publicado por Springer 2019-04, 2019

ISBN 10: 3030174611 ISBN 13: 9783030174613

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

PF. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783030174613

Contactar al vendedor

Comprar nuevo

EUR 56,50

Convertir moneda

Gastos de env�o: EUR 18,43

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Lijun Zhang

Publicado por Springer International Publishing Apr 2019, 2019

ISBN 10: 3030174611 ISBN 13: 9783030174613

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 -This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes 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.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems. 460 pp. Englisch. N� de ref. del art�culo: 9783030174613

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 23,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Computer Science and General Issues)

Publicado por Springer, 2019

ISBN 10: 3030174611 ISBN 13: 9783030174613

Nuevo Tapa blanda

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: ria9783030174613_new

Contactar al vendedor

Comprar nuevo

EUR 62,27

Convertir moneda

Gastos de env�o: EUR 14,25

De Reino Unido a Estados Unidos de America

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 : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6�11, 2019, Proceedings, Part I

Unbekannt

Publicado por Springer International Publishing, 2019

ISBN 10: 3030174611 ISBN 13: 9783030174613

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 460 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 34037268/2

Contactar al vendedor

Comprar usado

EUR 39,79

Convertir moneda

Gastos de env�o: EUR 45,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 3 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6�11, 2019, Proceedings, Part I

Lijun Zhang

Publicado por Springer International Publishing, Springer International Publishing, 2019

ISBN 10: 3030174611 ISBN 13: 9783030174613

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 - This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes 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.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems. N� de ref. del art�culo: 9783030174613

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 31,45

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Tools and Algorithms for the Construction and Analysis of Systems

Vojnar, Tom�s|Zhang, Lijun

Publicado por Springer International Publishing, 2019

ISBN 10: 3030174611 ISBN 13: 9783030174613

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took p. N� de ref. del art�culo: 280959858

Contactar al vendedor