Modeling and Verification of Parallel Processes
Cassez, Franck.
Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000 Nantes, France, June 19-23, 2000 Revised Tutorial Lectures / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540455103
Computer science.; Software engineering.; Information theory.; Computer Science.; Software Engineering.; Theory of Computation.
Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000 Nantes, France, June 19-23, 2000 Revised Tutorial Lectures / edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540455103
Computer science.; Software engineering.; Information theory.; Computer Science.; Software Engineering.; Theory of Computation.