Noch Fragen? 0800 / 33 82 637

Theory and Applications of Satisfiability Testing – SAT 2021

24th International Conference, SAT 2021, Barcelona, Spain, July 5-9, 2021, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

This book constitutes the proceedings of the 24 International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021. weiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-80223-3 / 978-3030802233 / 9783030802233

Verlag: Springer International Publishing

Erscheinungsdatum: 01.07.2021

Seiten: 564

Herausgegeben von Chu-Min Li, Felip Manyà

106,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück