Tipo de artículo
Condición
Encuadernación
Más atributos
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 2006
ISBN 10: 0387353135ISBN 13: 9780387353135
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Libro
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Publicado por Springer, 2006
ISBN 10: 0387353135ISBN 13: 9780387353135
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. pp. 258.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 2006
ISBN 10: 0387353135ISBN 13: 9780387353135
Librería: Majestic Books, Hounslow, Reino Unido
Libro
Condición: New. pp. 258 Illus.
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2006
ISBN 10: 0387353135ISBN 13: 9780387353135
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Libro
Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer 2022-03, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer 2022-03, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer International Publishing Mrz 2022, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. 516 pp. Englisch.
Publicado por Springer International Publishing Mrz 2022, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems. 608 pp. Englisch.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: As New. Unread book in perfect condition.
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: As New. Unread book in perfect condition.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: Majestic Books, Hounslow, Reino Unido
Libro Impresión bajo demanda
Condición: New. Print on Demand.
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: Majestic Books, Hounslow, Reino Unido
Libro Impresión bajo demanda
Condición: New. Print on Demand.
Publicado por Springer, 2021
ISBN 10: 3030884937ISBN 13: 9783030884932
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condición: New.
Publicado por Springer International Publishing, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
Publicado por Springer International Publishing, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlledsystems.
Publicado por Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condición: New.
Publicado por Springer, Berlin|Springer International Publishing|ETAPS Society|Springer, 2022
ISBN 10: 3030995267ISBN 13: 9783030995263
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint.
Publicado por Springer, Berlin|Springer International Publishing|ETAPS community|Springer, 2022
ISBN 10: 3030995232ISBN 13: 9783030995232
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint.
Publicado por Springer, 2021
ISBN 10: 3030884937ISBN 13: 9783030884932
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.