书名：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 ...

书名：Compilers: PrInciples, Techniques, and Tools, 2nd Second Edition (DJVU英文版)

上传：鱼和流氓

时间：2009-01-26 18:59:34

描述： By Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman ISBN-10: 0-321-48681-1 ISBN-13: 978-0-321-48681-3 Pu ...

书名：Compilers: PrInciples, Techniques, and Tools, 2nd Second Edition (DJVU英文版)

上传：鱼和流氓

时间：2009-01-26 18:59:34

描述： By Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman ISBN-10: 0-321-48681-1 ISBN-13: 978-0-321-48681-3 Pu ...

书名：Compilers: PrInciples, Techniques, and Tools, 2nd Second Edition (DJVU英文版)

上传：鱼和流氓

时间：2009-01-26 18:59:34

描述： By Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman ISBN-10: 0-321-48681-1 ISBN-13: 978-0-321-48681-3 Pu ...

书名：Compilers: PrInciples, Techniques, and Tools, 2nd Second Edition (DJVU英文版)

上传：鱼和流氓

时间：2009-01-26 18:59:34

描述： By Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman ISBN-10: 0-321-48681-1 ISBN-13: 978-0-321-48681-3 Pu ...

书名：Compilers: PrInciples, Techniques, and Tools, 2nd Second Edition (DJVU英文版)

上传：鱼和流氓

时间：2009-01-26 18:59:34

描述： By Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman ISBN-10: 0-321-48681-1 ISBN-13: 978-0-321-48681-3 Pu ...

书名：Learn C#: Includes the C# 3.0 Features (PDF 英文版)

上传：鱼和流氓

时间：2009-01-28 19:45:23

描述：Learn C#: Includes the C# 3.0 Features (PDF 英文版) (PDF 英文版) by Sam Abolrous Paperback: 424 pages Publisher: Word ...