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

Von:

Kobayashi, Naoki, 1921- [aut]

Mitwirkende(r):

Pierce, Benjamin C [oth]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 2215Verlag: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Beschreibung: Online-RessourceISBN:

9783540455004
3540427368

Schlagwörter:

Genre/Form:

Konferenzschrift -- 2001 -- Sendai

Andere physische Formen: 9783540427360 | Buchausg. u.d.T.: Theoretical aspects of computer software. Berlin : Springer, 2001. XV, 559 S.DDC-Klassifikation:

005.3
005.1/01/5113
005.1015113 23
005.1 23

MSC: MSC: *68-06 | 00B25 | 68N30RVK: RVK: SS 4000LOC-Klassifikation:

QA76.9.L63
QA76.5913
QA76.63

DOI: DOI: 10.1007/3-540-45500-0Online-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: 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

Exemplare ( 0 )

Dieser Titel hat keine Exemplare