Channels - Modeling and Verification of Parallel Processes : :: Biblioteca ITESO

Ejemplares similares: Modeling and Verification of Parallel Processes :

Quick Look
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /
Quick Look
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
Quick Look
Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Quick Look
Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1.5, 2000 Proceedings /
Quick Look
Vector and Parallel Processing - VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks /
Quick Look
Job Scheduling Strategies for Parallel Processing : IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings /
Quick Look
Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Quick Look
Sacerdos : año 9, número 41, septiembre-octubre 2002 /
Quick Look
Euro-Par 2000 Parallel Processing : 6th International Euro-Par Conference Munich, Germany, August 29 . September 1, 2000 Proceedings /
Quick Look
Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
Quick Look
Lectures on Proof Verification and Approximation Algorithms /
Quick Look
SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
Quick Look
Lectures on Information Retrieval : Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000. Revised Lectures /
Quick Look
Parallel Distributed Processing : Explorations in The Microstructure of Cognition : Foundations /
Quick Look
Professional Verification : A Guide to Advanced Functional Verification /
Quick Look
Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures /
Quick Look
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings /
Quick Look
Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /
Quick Look
Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings /
Quick Look
Advanced Parallel Processing Technologies : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
Quick Look
Parallel Distributed Processing : Explorations in the Microstructure of Cognition : Psychological and Biological Models /
Quick Look
Parallel and Distributed Processing : 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings /
Quick Look
Parallel and Distributed Processing : 11th IPPS/SPDP.99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12.16, 1999 Proceedings /
Quick Look
Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /

Autor: Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan

Quick Look
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0