0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001.... Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Paperback, 2001 ed.)
Naoki Kobayashi, Benjamin C Pierce
R1,730 Discovery Miles 17 300 Ships in 10 - 15 working days

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, lambda calculi, model checking and program logic.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Italian Cooking School: Vegetables
The Silver Spoon Kitchen Paperback R330 R264 Discovery Miles 2 640
The Essential Bread Machine Cookbook…
Rose Willet Hardcover R803 R664 Discovery Miles 6 640
Air Fryer Cookbook - Delicious And…
Barbara Trisler Hardcover R735 Discovery Miles 7 350
The Easy PowerXL Air Fryer Vortex…
Karen Porter Hardcover R632 Discovery Miles 6 320
My Mediterranean Salads Collection - 50…
Mateo Buscema Hardcover R677 Discovery Miles 6 770
Air Fryer Cookbook - Delicious And…
Barbara Trisler Hardcover R735 Discovery Miles 7 350
I Quit Sugar - The Ultimate Chocolate…
Sarah Wilson Hardcover  (2)
R540 R388 Discovery Miles 3 880
Keto Diet Cookbook With Poultry…
Elisa Hayes Hardcover R629 Discovery Miles 6 290
Bread Machine Cookbook for Beginners…
Rose Willet Hardcover R803 R664 Discovery Miles 6 640
Boerekos Met 'n Twist
Annelien Pienaar Paperback  (17)
R450 R387 Discovery Miles 3 870

 

Partners