Libri di Ernst-Rudiger Olderog
Tutti i risultati (5)
-
Programmverifikation: Sequentielle, parallele und verteilte Programme
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane49,70 € -
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,00 € -
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 & TechnologyDisponibilità in 2 settimane87,60 € -
Verification of Sequential and Concurrent Programs
Venditore: FeltrinelliSpringer London Ltd, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane130,80 € -
Verification of Sequential and Concurrent Programs
Venditore: FeltrinelliSpringer London Ltd, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane122,90 €
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.
