Knockout Narratives Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    The Powell's Playlist | January 15, 2015

    Mary Helen Specht: IMG The Powell's Playlist: Mary Helen Specht



    Migratory Animals is mostly set in Texas during the first years of the most recent recession, when the cast of characters — an eclectic group... Continue »

    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

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

by

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.

The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

Product Details

ISBN:
3330000239055
Subtitle:
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997: Proceedings
Publisher:
Springer
Author:
Grumberg, Orna
Subject:
Electronic digital computers -- Evaluation -- Congresses.
Subject:
Computer software
Subject:
Electronic digital computers
Subject:
Logic Design
Subject:
Programming - Systems Analysis & Design
Subject:
Programming - Software Development
Subject:
Software Development & Engineering - Systems
Subject:
Software Development & Engineering - General
Subject:
Logic
Subject:
Artificial Intelligence - Fuzzy Logic
Subject:
Programming - General
Subject:
automatische Deduktion
Subject:
Computergestützte Verifikation
Subject:
Formale Methoden
Subject:
formale Verifikation
Subject:
Modellprüfung
Subject:
automated deduction
Subject:
computer aided verification
Subject:
Formal methods
Subject:
formal verification
Subject:
model checking
Subject:
Logics and Meanings of Programs
Subject:
Software engineering
Subject:
Mathematical Logic and Formal Languages
Subject:
Special Purpose and Application-Based Systems
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
main_subject
Subject:
all_subjects
Publication Date:
1997
Binding:
ELECTRONIC
Language:
French
Pages:
486

Related Subjects

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
0 stars - 0 reviews
$ In Stock
Product details 486 pages Springer - English 3330000239055 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.