Decision ProceduresWydawnictwo: Springer Nature Data wydania: 22/11/2016 Wydanie: Drugie ISBN: 9783662504970 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
329.03 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Decision Procedures: An Algorithmic Point of ViewWydawnictwo: Springer, Berlin ISBN: 9783662570654 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783319703886 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783642141850 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Decision Procedures: An Algorithmic Point of ViewWydawnictwo: Springer, Berlin ISBN: 9783540741046 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Decision Procedures: An Algorithmic Point of ViewWydawnictwo: Springer, Berlin ISBN: 9783662504963 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model CheckingWydawnictwo: LAP Lambert Academic Publishing ISBN: 9783838300825 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|