Gesamtpreis (1 Artikel Artikel):
Versandziel:
tools algorithms construction analysis (567 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (567)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Weitere Eigenschaften
- Erstausgabe (3)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (223)
- Keine Print-on-Demand Angebote (402)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540627901 ISBN 13: 9783540627906
Sprache: Englisch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 9,58
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540610421 ISBN 13: 9783540610427
Sprache: Englisch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 11,55
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642367410 ISBN 13: 9783642367410
Sprache: Englisch
EUR 15,09
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 672 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 15,09
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 4,37
Währung umrechnenEUR 12,31 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Gebraucht ab EUR 16,68
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 4,37
Währung umrechnenEUR 12,31 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Gebraucht ab EUR 16,68
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 1,80
Währung umrechnenEUR 19,53 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 552 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 92,27
Gebraucht ab EUR 21,33
Mehr entdecken Softcover
-
Tools And Algorithms For The Construction And Analysis Of System
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 29,70
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 29,70
Gebraucht ab EUR 42,18
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint . Computer Science and General Issues)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 25,69
Währung umrechnenEUR 4,55 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 30,24
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European . Notes in Computer Science, 2280, Band 2280)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 30,36
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Befriedigend. 500 Seiten; 9783540434191.4 Gewicht in Gramm: 1.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 30,36
Mehr entdecken Softcover
-
EUR 31,23
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 450 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Gebraucht ab EUR 31,23
Mehr entdecken Softcover Erstausgabe
-
EUR 31,23
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 407 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Gebraucht ab EUR 31,23
Mehr entdecken Softcover Erstausgabe
-
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European . Notes in Computer Science, 2031, Band 2031)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 32,74
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Befriedigend. 608 Seiten; 9783540418658.4 Gewicht in Gramm: 1.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 92,27
Gebraucht ab EUR 32,74
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European . (Lecture Notes in Computer Science, 2619)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 16,82
Währung umrechnenEUR 19,53 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. 620 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 36,35
Gebraucht ab EUR 81,09
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part III
Verlag: Springer International Publishing, 2019
ISBN 10: 3030175014 ISBN 13: 9783030175016
Sprache: Englisch
EUR 36,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 288 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 36,99
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer International Publishing, 2021
ISBN 10: 3030720128 ISBN 13: 9783030720124
Sprache: Englisch
EUR 39,60
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer International Publishing, 2021
ISBN 10: 3030720152 ISBN 13: 9783030720155
Sprache: Englisch
EUR 39,60
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Gebraucht ab EUR 67,97
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642007678 ISBN 13: 9783642007675
Sprache: Englisch
EUR 39,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,14
Gebraucht ab EUR 39,79
Mehr entdecken Softcover
-
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 II
Verlag: Springer International Publishing, 2019
ISBN 10: 3030174646 ISBN 13: 9783030174644
Sprache: Englisch
EUR 39,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 440 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 39,79
Mehr entdecken Softcover
-
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
Verlag: Springer International Publishing, 2019
ISBN 10: 3030174611 ISBN 13: 9783030174613
Sprache: Englisch
EUR 39,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 460 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 39,79
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European . Notes in Computer Science, 4424, Band 4424)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 39,66
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Gut. 760 Seiten; 9783540712084.3 Gewicht in Gramm: 2.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 99,30
Gebraucht ab EUR 39,66
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642120016 ISBN 13: 9783642120015
Sprache: Englisch
EUR 42,08
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 42,08
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer Nature Switzerland, Springer International Publishing Apr 2024, 2024
ISBN 10: 3031572459 ISBN 13: 9783031572456
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Mehr entdecken Softcover Erstausgabe
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer International Publishing, Springer International Publishing Mär 2022, 2022
ISBN 10: 3030995267 ISBN 13: 9783030995263
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer International Publishing, Springer Nature Switzerland Apr 2020, 2020
ISBN 10: 3030452360 ISBN 13: 9783030452360
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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
Verlag: Springer International Publishing, Springer Nature Switzerland Apr 2020, 2020
ISBN 10: 3030451895 ISBN 13: 9783030451899
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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 : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031906594 ISBN 13: 9783031906596
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
-
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 303190642X ISBN 13: 9783031906428
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
-
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings, Part I
Verlag: Springer International Publishing, 2022
ISBN 10: 3030995232 ISBN 13: 9783030995232
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Gebraucht ab EUR 68,29
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031906527 ISBN 13: 9783031906527
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
-
EUR 42,78
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 560 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,74
Gebraucht ab EUR 42,78
Mehr entdecken Softcover
