Libri di Joost-Pieter Katoen
Tutti i risultati (5)
-
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane122,40 € -
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,30 € -
Principles of Model Checking
Venditore: Feltrinelli161,29 €
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.
