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: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-030-80222-6 / 978-3030802226 / 9783030802226

Verlag: Springer International Publishing

Erscheinungsdatum: 02.07.2021

Seiten: 564

Auflage: 1

Herausgegeben von Chu-Min Li, Felip Manyà

117,69 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück