Importe total (1 artículo artículos):
Destino del pedido:
tools algorithms construction analysis de biere armin (53 resultados)
Comentarios
Autor :
biere armin
,
Refinar con la Búsqueda avanzada
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (53)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (53)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (12)
- No impresión bajo demanda (35)
Idioma (1)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 48,34
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 48,34
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25¿30, 2020, Proceedings, Part II
Publicado por Springer International Publishing, 2020
ISBN 10: 3030452360 ISBN 13: 9783030452360
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,79
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
-
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25¿30, 2020, Proceedings, Part I
Publicado por Springer International Publishing, 2020
ISBN 10: 3030451895 ISBN 13: 9783030451899
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,79
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Idioma: Inglés
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,16
Convertir monedaEUR 6,87 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,93
Convertir monedaEUR 6,87 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conf
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 44,74
Convertir monedaEUR 17,41 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conf
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 44,87
Convertir monedaEUR 17,41 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,28
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 101327721X ISBN 13: 9781013277214
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 64,64
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 101327718X ISBN 13: 9781013277184
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 64,64
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 1013277198 ISBN 13: 9781013277191
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 68,99
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 1013277198 ISBN 13: 9781013277191
Idioma: Inglés
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 67,19
Convertir monedaEUR 6,87 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press 2020-10, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 57,12
Convertir monedaEUR 17,41 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press 2020-10, 2020
ISBN 10: 101327718X ISBN 13: 9781013277184
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 61,50
Convertir monedaEUR 17,41 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Irel
Publicado por Springer-Nature New York Inc, 2020
ISBN 10: 3030452360 ISBN 13: 9783030452360
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 67,20
Convertir monedaEUR 11,61 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 452 pages. 9.25x6.10x1.02 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Springer International Publishing, Springer Nature Switzerland Apr 2020, 2020
ISBN 10: 3030452360 ISBN 13: 9783030452360
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,79
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Springer International Publishing, Springer Nature Switzerland Apr 2020, 2020
ISBN 10: 3030451895 ISBN 13: 9783030451899
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,79
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Irel
Publicado por Springer-Nature New York Inc, 2020
ISBN 10: 3030451895 ISBN 13: 9783030451899
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 68,41
Convertir monedaEUR 11,61 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 528 pages. 9.25x6.10x1.19 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 66,95
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. KlappentextrnrnThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020,.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 101327718X ISBN 13: 9781013277184
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 71,64
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. KlappentextrnrnThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020,.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 101327721X ISBN 13: 9781013277214
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 71,64
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. KlappentextrnrnThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020,.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 1013277198 ISBN 13: 9781013277191
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 76,32
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. KlappentextrnrnThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020,.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 101327721X ISBN 13: 9781013277214
Idioma: Inglés
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 96,40
Convertir monedaEUR 9,87 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 438.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 43,89
Convertir monedaEUR 64,37 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 43,89
Convertir monedaEUR 64,37 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Idioma: Inglés
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 46,86
Convertir monedaEUR 64,37 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . I (Lecture Notes in Computer Science, 12078)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 87,32
Convertir monedaEUR 29,03 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
-
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . II (Lecture Notes in Computer Science, 12079)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 89,71
Convertir monedaEUR 29,03 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
-
Tools and Algorithms for the Construction and Analysis of Systems
Publicado por Saint Philip Street Press, 2020
ISBN 10: 101327721X ISBN 13: 9781013277214
Idioma: Inglés
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 57,05
Convertir monedaEUR 64,37 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
