Free shiping! Use code EGGNOG. Ends December 13 at noon!
Used, New, and Out of Print Books - We Buy and Sell - Powell's Books
Cart |
|  my account  |  wish list  |  help   |  800-878-7323
Hello, | Login
MENU
  • Browse
    • New Arrivals
    • Bestsellers
    • Award Winners
    • Signed Preorders
    • Signed Editions
    • Digital Audio Books
    • Newsletters
    • See All Subjects
  • Used
  • Staff Picks
    • Staff Picks
    • Picks of the Season
    • Staff Top Fives 2018
    • Boox
    • Indiespensable
    • 25 Books From the 21st Century
    • 25 Memoirs to Read Before You Die
    • 25 Global Books to Read Before You Die
    • 25 Women to Read Before You Die
    • 25 Books to Read Before You Die
    • Book Club Subscriptions
  • Gifts + Gift Cards
    • Gift Cards & eGift Cards
    • Powell's Souvenirs
    • Read Rise Resist Gear
    • Journals & Notebooks
    • Games
    • Socks
  • Sell Books
    • Sell Books Online
    • Sell Books in Our Stores
  • Blog
  • Events
  • Find A Store
McAfee Secure

Don't Miss

  • Free Shipping & Guaranteed Holiday Delivery
  • Picks of the Season
  • Great Gifts Under $15 & $25
  • Winter Sale: Buy 2, Get 1 Free
  • Kids' Graphic Novels
  • What I'm Giving
  • Indiespensable #83: The Topeka School
  • BOOX #17: Pokko & the Drum
  • 20% Off Oregon Battle of the Books

Visit Our Stores

Powell's Books: What I'm Giving: Guest Edition (0 comment)
Need some gift-giving inspiration? Take a peek at the books these local authors are giving this year...
Read More»
  • Powell's Staff: Best Fiction of 2019 (1 comment)
  • Keith Mosman: Best Nonfiction of 2019 (0 comment)
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceed

by Bertacco, Valeria
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceed

  • Comment on this title

ISBN13: 9783319030760
ISBN10: 3319030760



All Product Details

View Larger ImageView Larger Images
$107.95
New Trade Paperback
Ships in 1 to 3 days
Add to Cart
Add to Wishlist
QtyStore
20Remote Warehouse

What Our Readers Are Saying

Be the first to share your thoughts on this title!



Product Details

ISBN:
9783319030760
Binding:
Trade Paperback
Publication date:
10/31/2013
Publisher:
Springer
Series info:
Lecture Notes in Computer Science / Programming and Software
Language:
English
Pages:
366
Height:
.80IN
Width:
6.14IN
Author:
Valeria Bertacco
Ed:
Axel Legay
Subject:
Software Engineering-General

Ships free on qualified orders.
Add to Cart
$107.95
New Trade Paperback
Ships in 1 to 3 days
Add to Wishlist
QtyStore
20Remote Warehouse
Used Book Alert for book Receive an email when this ISBN is available used.
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
  • Twitter
  • Facebook
  • Pinterest
  • Instagram

  • Help
  • Guarantee
  • My Account
  • Careers
  • About Us
  • Security
  • Wish List
  • Partners
  • Contact Us
  • Shipping
  • Newsletters
  • Sitemap
  • © 2019 POWELLS.COM Terms
  • 800-878-7323

{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##