书名：Principles of Model checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：Principles of Model checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：Principles of Model checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：Principles of Model checking (PDF 英文版)

上传：鱼和流氓

时间：2009-01-26 19:41:14

描述： (PDF 英文版) by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen Hardcover: 975 pages Publisher: The MIT Pr ...

书名：Professional Apache Tomcat 6 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 18:27:11

描述： by Vivek Chopra, Sing Li, Jeff Genender Paperback: 629 pages Publisher: Wrox (August 13, 2007) ISBN-10: 047175361 ...

书名：Professional Apache Tomcat 6 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 18:27:11

描述： by Vivek Chopra, Sing Li, Jeff Genender Paperback: 629 pages Publisher: Wrox (August 13, 2007) ISBN-10: 047175361 ...

书名：Professional Apache Tomcat 6 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 18:27:11

描述： by Vivek Chopra, Sing Li, Jeff Genender Paperback: 629 pages Publisher: Wrox (August 13, 2007) ISBN-10: 047175361 ...

书名：Professional Apache Tomcat 6 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 18:27:11

描述： by Vivek Chopra, Sing Li, Jeff Genender Paperback: 629 pages Publisher: Wrox (August 13, 2007) ISBN-10: 047175361 ...

书名：Professional Apache Tomcat 6 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 18:27:11

描述： by Vivek Chopra, Sing Li, Jeff Genender Paperback: 629 pages Publisher: Wrox (August 13, 2007) ISBN-10: 047175361 ...

书名：Professional Apache Tomcat 6 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 18:27:11

描述： by Vivek Chopra, Sing Li, Jeff Genender Paperback: 629 pages Publisher: Wrox (August 13, 2007) ISBN-10: 047175361 ...