Libri di Zhe Hou
Tutti i risultati (4)
-
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2021Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane105,30 € -
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2022Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane80,00 € -
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2021Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane75,10 € -
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2020Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,10 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
