Warriors B2G1 Free
 
 

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


    Book News | May 11, 2015

    Chris Hedges: IMG Powell’s Q&A: Chris Hedges



    Describe your latest book. Wages of Rebellion looks at the nature of rebellion, those who do it, why they do it, and the price they pay for being a... Continue »
    1. $18.89 Sale Hardcover add to wish list

      Wages of Rebellion

      Chris Hedges 9781568589664

    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

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 20

by

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 20 Cover

 

Synopses & Reviews

Publisher Comments:

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the RD community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available.

Product Details

ISBN:
3330000244848
Subtitle:
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Publisher:
Springer
Author:
Esparza, Javier
Subject:
Software Development & Engineering - General
Subject:
Networking - General
Subject:
Programming - General
Subject:
Programming - Software Development
Subject:
Software engineering
Subject:
Logics and Meanings of Programs
Subject:
Computer Communication Networks
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Programming techniques
Subject:
Software Engineering-General
Subject:
main_subject
Subject:
all_subjects
Publication Date:
20100421
Binding:
ELECTRONIC
Language:
English
Pages:
468

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » 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 » Systems Analysis and Design
Computers and Internet » Software Engineering » Tools
Science and Mathematics » Mathematics » Systems Theory

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 20
0 stars - 0 reviews
$ In Stock
Product details 468 pages Springer - English 3330000244848 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.