25 Books to Read Before You Die
 
 

Recently Viewed clear list


The Powell's Playlist | August 8, 2014

Peter Mendelsund: IMG The Powell's Playlist: Water Music by Peter Mendelsund



We "see" when we read, and we "see" when we listen. There are many ways in which music can create the cross-sensory experience of this seeing...... Continue »
  1. $11.87 Sale Trade Paper add to wish list

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.

Product Details

ISBN:
3330000241737
Subtitle:
First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007: Revised Papers
Publisher:
Springer
Author:
Meyer, Bertrand
Author:
Gurevich, Yuri
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

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 gifts — here at Powells.com.