Book123

Science/Engineering Verification, Model Checking, and Abstract Interpretation

Neil D. Jones, Markus Müller-Olm, "Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. " Springer | 2009-01-01 | ISBN: 3540938990 | 381 pages | PDF ...

Programming Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Автор, "Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings"Publisher: Springer | ISBN: 3642026575 | edition: 2009 | PDF | 722 Pages | 11 MbThis book constitutes ...

Technical Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

ISBN: 3540751866 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. The ...

Technical Network and Parallel Computing: IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)

ISBN: 3540747834 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the IFIP International Conference on Network and Parallel Computing, NPC 2007, held in Dalian, China in September 2007. The 53 revise ...

Technical Algorithms and Data Structures: 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)

ISBN: 3642033660 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 11th Algorithms and Data Structures Symposium, WADS 2009, held in Banff, Canada, in August 2009. The Algorithms and Data Structur ...

Technical Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

ISBN: 364202016X Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. ...