Code: 01563864

Theoretical Aspects of Computer Software

Name: Theoretical Aspects of Computer Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563864
Price: 61.44 EUR
Availability: InStock

by Naoki Kobayashi, Benjamin C. Pierce

Language: English
Binding: Paperback
Number of pages: 565
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001
More about this

61.44 €

Low in stock at our supplier
Shipping in 13 - 16 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

I'm Not a Succubus! Vol. 3
12.40 € -18 %
Buy
Three Most Wanted
18.45 €
Buy
Theory of Thermodynamics
71.32 €
Buy
Unterstutzende Verfahren zur Behandlung von sekundaren Lymphoedemen mithilfe der manuellen Lymphdrainage nach Brustkrebsoperationen
44.08 € -1 %
Buy
Journey Through Arabia Petr?a, to Mount Sinai, and the excavated city of Petra, the Edom of the Prophecies
30.06 € -2 %
Buy
Une résistance juive d'hier à aujourd'hui
31.17 €
Pre-order
TRACES, NO45/2023-2. 'L'ORIGINE DES INEGALITES' : RESURGENCES ET REAPPROPRIATIONS D'UN GRAND RECIT
20.57 €
Pre-order

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Theoretical Aspects of Computer Software

Book details
Synopsis
Trending among others

You get 154 loyalty points

Book synopsis

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.

Book details

Book category Książki po angielsku Computing & information technology Computer programming / software development Programming & scripting languages: general

61.44 €

Full title: Theoretical Aspects of Computer Software
Subtitle: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
Author: Naoki Kobayashi, Benjamin C. Pierce
Language: English
Binding: Paperback
Number of pages: 565
EAN: 9783540427360
ISBN: 3540427368
ID: 01563864
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1780 g
Dimensions: 233 × 155 × 32 mm
Date of publishing: 12. October 2001