Gardening Sale!
 
 

Special Offers see all

Enter to WIN!

Weekly drawing for $100 credit. Subscribe to our Specials newsletter for a chance to win.
Privacy Policy

More at Powell's

Recently Viewed clear list

Original Essays | April 29, 2013

Edward Lee: IMG How to Clarify Butter: A Writer's Tale

2 comments By Edward Lee

Chefs don't have time to write. While I was working on Smoke and Pickles, I was running a restaurant — a daily regimen of testing recipes,... Continue »
  1. $20.97 Sale Hardcover add to wish list

    Smoke and Pickles: Recipes and Stories from a New Southern Kitchen

    Edward Lee 9781579654924
spacer

This item may be
out of stock.
Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

by

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007.The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests.
back to top
back to top

Product Details

ISBN:
3330000241737
Subtitle:
First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007: Revised Papers
Publisher:
Springer
Author:
Gurevich, Yuri
Author:
Meyer, Bertrand
Subject:
Computer software
Subject:
Quality Control
Subject:
Software Development & Engineering - Systems
Subject:
Networking - General
Subject:
Software Development & Engineering - General
Subject:
Logic Design
Subject:
Software Engineering-Systems Analysis and Design
Subject:
main_subject
Subject:
all_subjects
Edition Description:
Printbegrænsninger: Der kan printes kapitelvis.
Publication Date:
2007
Binding:
ELECTRONIC
Language:
English
Pages:
216
back to top

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computers Reference » General
Computers and Internet » Computers Reference » Social Aspects » General
Computers and Internet » Networking » General
Computers and Internet » Networking » Hardware
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Quality Assurance and Testing
Computers and Internet » Software Engineering » Systems Analysis and Design

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
0 stars - 0 reviews
$ In Stock
Product details 216 pages Springer - English 3330000241737 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.