Theory and Applications of Satisfiability Testing - SAT 2021 Felip Manyà
117,69 €
Titel: Theory and Applications of Satisfiability Testing - SAT 2021, Untertitel: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings, Einband: Taschenbuch, Autor: Felip Manyà, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 576, Maße: 235x155x31 mm, Gewicht: 861 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Boolean Functions Computer Science Computer Systems Embedded Systems Internet Matrix algebra SAT SAT solvers Software Design Software Engineering architecting architecture verification and validation computer programming decision theory formal logic mathematics model checking satisfiability software architecture.
Jetzt bei Ebay:
