We Need Diverse Ya 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


    Q&A | June 8, 2015

    Owen Sheers: IMG Powell's Q&A: Owen Sheers



    Describe your latest book. I Saw a Man is a contemporary novel set between London, New York, Nevada, and Wales. The book opens with Michael Turner,... Continue »
    1. $18.17 Sale Hardcover add to wish list

      I Saw a Man

      Owen Sheers 9780385529075

    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

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

by

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verificaton and Analysis, ATVA 2006, held in Beijing, China in October 2006.The 35 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 137 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

Product Details

ISBN:
3330000237504
Subtitle:
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006: Proceedings
Publisher:
Springer
Author:
Zhang, Wenhui
Author:
Graf, Susanne
Subject:
Logic Design
Subject:
Networking - General
Subject:
Programming - Systems Analysis & Design
Subject:
Software Development & Engineering - Systems
Subject:
Automata
Subject:
Embedded Systems
Subject:
Formal methods
Subject:
formal performance analysis
Subject:
hardware verification
Subject:
hybrid systems
Subject:
model checking
Subject:
oetri nets
Subject:
Probabilistic Models
Subject:
program analysis
Subject:
protocal verification
Subject:
Real Time systems
Subject:
Refinement
Subject:
software verification
Subject:
Systems analysis.
Subject:
systems design
Subject:
systems verification
Subject:
timed systems
Subject:
Validation
Subject:
Verification
Subject:
Logics and Meanings of Programs
Subject:
Information Systems and Communication Service
Subject:
Computer Communication Networks
Subject:
Special Purpose and Application-Based Systems
Subject:
Software engineering
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Artificial Intelligence - Fuzzy Logic
Subject:
main_subject
Subject:
all_subjects
Edition Description:
Printbegrænsninger: Der kan printes kapitelvis.
Publication Date:
20061120
Binding:
ELECTRONIC
Language:
English
Pages:
540

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Internet » Information
Computers and Internet » Internet » Online
Computers and Internet » Networking » General
Computers and Internet » Networking » Hardware
Computers and Internet » Operating Systems » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Systems Analysis and Design

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
0 stars - 0 reviews
$ In Stock
Product details 540 pages Springer - English 3330000237504 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.