Libri di Robert P. Kurshan
-
Verification of Digital and Hybrid Systems
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane136,40 € -
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | MathematicsDisp. in 2 settimane67,80 € -
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
211,50 € -
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
83,40 €
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.