30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Theoretical Aspects of Computer Software 4th International Symposium, Tacs 2001, Sendai, Japan, October 2001, Proce Edings

Author: 


ISBN-13: 

9783540427360


ISBN: 

3540427368


Pub Date: 
Publisher:  Springer
Summary: This book constitutes the refereed proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS 2001, held in Sendai, Japan, in October 2001. The book presents 21 selected and revised full papers. Also included are six invited papers plus one open lecture by internationally leading scientists. Among the topics addressed are automata theory, concurrency, control-flow analysis, la...mbda calculi, model checking and program logic.

Kobayashi, Naoki is the author of Theoretical Aspects of Computer Software 4th International Symposium, Tacs 2001, Sendai, Japan, October 2001, Proce Edings, published 2001 under ISBN 9783540427360 and 3540427368. Four hundred forty four Theoretical Aspects of Computer Software 4th International Symposium, Tacs 2001, Sendai, Japan, October 2001, Proce Edings textbooks are available for sale on ValoreBooks.com, fourteen used from the cheapest price of $0.01, or buy new starting at $83.25.
 [read more]

Marketplace Prices
430 New from $83.25 14 Used from $0.01
  • Used $0.01
  • New $83.25
Price + Shipping
Condition
Details
Recommended
Product Details
Theoretical Aspects of Computer Software 4th International Symposium, Tacs 2001, Sendai, Japan, October 2001, Proce Edings

ISBN-13: 9783540427360


ISBN: 3540427368


Pub Date:
Publisher: Springer
www.ValoreBooks.com is the smartest bookstore for cheap Theoretical Aspects of Computer Software 4th International Symposium, Tacs 2001, Sendai, Japan, October 2001, Proce Edings rentals, or new and used copies ready to be shipped fast.
Where's My Stuff?
Shipping & Returns