Libri di Willem-Paul De Roever
Tutti i risultati (9)
-
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in IngleseDisponibilità in 2 settimane134,50 € -
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,00 € -
Current Trends in Concurrency: Overviews and Tutorials
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,00 € -
Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2013Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane273,40 € -
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Venditore: FeltrinelliCambridge University Press, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane346,20 € -
Data Refinement: Model-Oriented Proof Methods and their Comparison
Venditore: FeltrinelliCambridge University Press, 1998Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane193,30 € -
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Venditore: FeltrinelliCambridge University Press, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane119,90 € -
Data Refinement: Model-Oriented Proof Methods and their Comparison
Venditore: FeltrinelliCambridge University Press, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane87,00 € -
Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
Venditore: FeltrinelliChapman and Hall, 1998Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane268,50 €
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.
