Custom cover image
Custom cover image

Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings / edited by Naoki Kobayashi, Benjamin C. Pierce

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 2215Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Description: Online-RessourceISBN:
  • 9783540455004
  • 3540427368
Subject(s): Genre/Form: Additional physical formats: 9783540427360 | Buchausg. u.d.T.: Theoretical aspects of computer software. Berlin : Springer, 2001. XV, 559 S.DDC classification:
  • 005.3
  • 005.1/01/5113
  • 005.1015113 23
  • 005.1 23
MSC: MSC: *68-06 | 00B25 | 68N30RVK: RVK: SS 4000LOC classification:
  • QA76.9.L63
  • QA76.5913
  • QA76.63
DOI: DOI: 10.1007/3-540-45500-0Online resources: 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, lambda calculi, model checking and program logicPPN: PPN: 1649261810Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT