Type d'article
Etat
Reliure
Particularités
Livraison gratuite
Pays
Evaluation du vendeur
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 2006
ISBN 10 : 0387353135ISBN 13 : 9780387353135
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Livre
hardcover. Etat : 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!.
Edité par Springer, 2006
ISBN 10 : 0387353135ISBN 13 : 9780387353135
Vendeur : Books Puddle, New York, NY, Etats-Unis
Livre
Etat : New. pp. 258.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 2006
ISBN 10 : 0387353135ISBN 13 : 9780387353135
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Livre
Etat : New. pp. 258 Illus.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer, 2006
ISBN 10 : 0387353135ISBN 13 : 9780387353135
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Livre
Paperback. Etat : 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.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer 2022-03, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Livre
PF. Etat : New.
Edité par Springer 2022-03, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Livre
PF. Etat : New.
Edité par Springer International Publishing Mrz 2022, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : 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.
Edité par Springer International Publishing Mrz 2022, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : 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.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : Books Puddle, New York, NY, Etats-Unis
Livre
Etat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : Books Puddle, New York, NY, Etats-Unis
Livre
Etat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Livre impression à la demande
Etat : New. Print on Demand.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : As New. Unread book in perfect condition.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Livre impression à la demande
Etat : New. Print on Demand.
Edité par Springer, 2021
ISBN 10 : 3030884937ISBN 13 : 9783030884932
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Livre
Etat : New.
Edité par Springer, 2021
ISBN 10 : 3030884937ISBN 13 : 9783030884932
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Livre
Etat : New.
Edité par Springer International Publishing, 2022
ISBN 10 : 3030995267ISBN 13 : 9783030995263
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : 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.
Edité par Springer International Publishing, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : 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.
Edité par Springer, 2022
ISBN 10 : 3030995232ISBN 13 : 9783030995232
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Livre
Etat : New.