
9789812837288
Automated Database Applications Testing: Specification Representation for Automated Reasoning
Rana Rarid Mikhail; Abraham Kandel; Donald Berndt
ISBN 13: 9789812837288
Publisher: World Scientific Pub Co Inc
Publication Date: 2009
Binding: Hardcover
Your Satisfaction is Guaranteed:
Automated Database Applications Testing: Specification Representation for Automated Reasoning: Search Results
| 1. |
Automated Database Applications Testing: Specification Representation for Automated Reasoning (ISBN: 9789812837288) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 1
Book Description: WORLD SCIENTIFIC PUB CO INC, 2010. Hardback. Book Condition: New. New book. Shipped from US. Bookseller Inventory # IB-9789812837288 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 2. |
Automated Database Applications Testing: Specification Representation for Automated Reasoning (ISBN: 9789812837288) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 5
Book Description: World Scientific Publishing Co Pte Ltd. Hardback. Book Condition: new. BRAND NEW, Automated Database Applications Testing: Specification Representation for Automated Reasoning, Rana Farid Mikhail, Donald Berndt, Abraham Kandel, Introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. Bookseller Inventory # B9789812837288 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 3. |
Automated Database Applications Testing: Specification Representation for Automated Reasoning (Hardback) (ISBN: 9789812837288) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 10
Book Description: World Scientific Publishing Co Pte Ltd, Singapore, 2010. Hardback. Book Condition: New. 229 x 155 mm. Brand New Book with Free Worldwide Delivery. This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code. Bookseller Inventory # AAJ9789812837288 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 4. |
Automated Database Applications Testing: Specification Representation for Automated Reasoning (ISBN: 9789812837288) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 1
Book Description: WORLD SCIENTIFIC PUB CO INC, 2010. Hardback. Book Condition: New. New book. Shipped from US. Bookseller Inventory # IB-9789812837288 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 5. |
Automated Database Applications Testing (ISBN: 9789812837288) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 10
Book Description: World Scientific Publishing Co Pte Ltd, Singapore, 2010. Book Condition: New. Bookseller Inventory # 8425871 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 6. |
Automated Database Applications Testing: Specification Representation for Automated Reasoning (ISBN: 9812837280) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: > 20
Book Description: World Scientific Pub Co Inc, 2010. Hardcover. Book Condition: Brand New. 230 pages. 9.00x6.00x0.50 inches. In Stock. Bookseller Inventory # __9812837280 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 7. |
Automated Database Applications Testing (ISBN: 9812837280) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 1
Book Description: Hardcover. Book Condition: New. 229mm x 155mm x 229mm. 195 pages. 0.454. Bookseller Inventory # 9789812837288 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 8. |
Automated Database Applications Testing: Specification Representation for Automated Reasoning (ISBN: 9812837280) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 1
Book Description: World Scientific Pub Co Inc, 2010. Hardcover. Book Condition: Brand New. 230 pages. 9.00x6.00x0.50 inches. In Stock. Bookseller Inventory # x-9812837280 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 9. |
Automated Database Applications Testing (ISBN: 9812837280) Mikhail, Rana Rarid;Kandel, Abraham;Berndt, Donald Quantity Available: 1
Book Description: Hardcover. Book Condition: New. 229mm x 155mm x 229mm. 195 pages. 0.454. Bookseller Inventory # 9789812837288 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
Portions of this page may be (c) 2006 Muze Inc. Some database content may also be provided by Baker & Taylor Inc. Copyright 1995-2006 Muze Inc. For personal non-commercial use only. All rights reserved. Content for books is owned by Baker & Taylor, Inc. or its licensors and is subject to copyright and all other protections provided by applicable law.
Portions of this page may be Copyright VNU Entertainment Media (UK) Ltd., 2006, Georg Lingenbrink GmbH & Co., Tite Live, S.A or Informazioni Editoriali S.p.A. All rights reserved.












