Computer-Aided Verification of Coordinating Processes

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach è scritto da Robert P. Kurshan e pubblicato da Princeton University Press. Gli ISBN digitali e di eTextbook per Computer-Aided Verification of Coordinating Processes sono 9781400864041, 1400864046 e gli ISBN per la versione cartacea sono 9780691606057, 0691606056. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource. Ulteriori codici ISBN per questo eTextbook includono 9780691034362, 9780691634890.

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach è scritto da Robert P. Kurshan e pubblicato da Princeton University Press. Gli ISBN digitali e di eTextbook per Computer-Aided Verification of Coordinating Processes sono 9781400864041, 1400864046 e gli ISBN per la versione cartacea sono 9780691606057, 0691606056. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource. Ulteriori codici ISBN per questo eTextbook includono 9780691034362, 9780691634890.