Cart
|
|
my account
|
wish list
|
help
|
800-878-7323
Hello, |
Login
MENU
Browse
New Arrivals
Bestsellers
Featured Preorders
Award Winners
Audio Books
See All Subjects
Used
Staff Picks
Staff Picks
Picks of the Month
Bookseller Displays
50 Books for 50 Years
25 Best 21st Century Sci-Fi & Fantasy
25 PNW Books to Read Before You Die
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
Gifts
Gift Cards & eGift Cards
Powell's Souvenirs
Journals and Notebooks
socks
Games
Sell Books
Blog
Events
Find A Store
Don't Miss
Spring Sale
Big Mood Sale
Teen Dream Sale
Powell's Author Events
Oregon Battle of the Books
Audio Books
Get the Powell's newsletter
Visit Our Stores
Powell's Staff:
Five Book Friday: In Memoriam
(0 comment)
Every year, the booksellers at Powell’s submit their Top Fives: their five favorite books that were released in 2023. It’s a list that, when put together, shows just how varied and interesting the book tastes of Powell’s booksellers are. I highly recommend digging into the recommendations — we would never lead you astray — but today...
Read More
»
Brontez Purnell:
Powell’s Q&A: Brontez Purnell, author of ‘Ten Bridges I’ve Burnt’
(0 comment)
Rachael P.:
Starter Pack: Where to Begin with Ursula K. Le Guin
(0 comment)
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
by
Brinksma, Ed
Comment on this title
ISBN13:
9783540439974
ISBN10:
3540439978
All Product Details
View Larger Image
View Larger Images
$131.95
New Trade Paperback
Available at a Remote Warehouse. Ships separately from other items. Additional shipping charges may apply. Not available for In Store Pickup.
More Info
Qty
Store
20
Remote Warehouse
What Our Readers Are Saying
Be the first to share your thoughts on this title!
Product Details
ISBN:
9783540439974
Binding:
Trade Paperback
Publication date:
07/19/2002
Publisher:
Springer
Series info:
Lecture Notes in Computer Science
Language:
English
Pages:
362
Height:
1.33IN
Width:
6.14IN
Series:
Lecture Notes in Computer Science
Series Number:
2404
Number of Units:
1
Copyright Year:
2002
Series Volume:
2404
UPC Code:
4294967295
Author:
Ed Brinksma
Author:
E. Brinksma
Editor:
Ed Brinksma
Editor:
Kim G. Larsen
Author:
Kim G. Larsen
Subject:
formal verification
Subject:
hardware verification
Subject:
Systems analysis.
Subject:
computer aided verification
Subject:
Theorem Proving
Subject:
Software engineering
Subject:
Formal methods
Subject:
Program Verification
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Logics a
Subject:
Logics and Meanings of Programs
Subject:
computational logic
Subject:
Special Purpose and Application-Based Systems
Subject:
nd Meanings of Programs
Subject:
verification tools
Subject:
Language, literature and biography
Subject:
model checking
Subject:
systems verification
Subject:
automated deduction
Subject:
Mathematical Logic and Formal Languages
$131.95
New Trade Paperback
Available at a Remote Warehouse. Ships separately from other items. Additional shipping charges may apply. Not available for In Store Pickup.
More Info
Qty
Store
20
Remote Warehouse
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]##