Libri di Bernhard Steffen
Tutti i risultati (37)
-
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2021Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane87,60 € -
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2021Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane98,30 € -
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2021Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,50 € -
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2020Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,80 € -
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2020Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,80 € -
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2020Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane122,80 € -
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane48,50 € -
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2018Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,90 € -
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2018Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,00 € -
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2018Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,10 € -
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2018Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,10 € -
Karten Von Mykenai
Venditore: Feltrinelli31,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.
