Theory and Applications of Satisfiability Testing - SAT 2020 Martina Seidl
53,49 €
Titel: Theory and Applications of Satisfiability Testing - SAT 2020, Untertitel: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, Einband: Taschenbuch, Autor: Martina Seidl, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 552, Maße: 235x155x30 mm, Gewicht: 826 g, Verkäufer: buch-mimpf, Schlagworte: Boolean Functions Embedded Systems Iterative solvers Matrix algebra Probability SAT solvers Software Design Software Engineering architecture verification and validation computer networks computer programming decision theory formal logic model checking network protocols satisfiability software architecture.
Jetzt bei Ebay:
