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