Theoretical Aspects of Computer Software: Third...

Main
Computers - Programming
Theoretical Aspects of Computer...

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings

Name: Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
ISBN: 9783540633884

Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)

0 / 0

0 comments

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

หมวดหมู่:

Computers - Programming

ปี:

1997

ฉบับพิมพ์ครั้งที่:

สำนักพิมพ์:

Springer-Verlag Berlin Heidelberg

ภาษา:

english

จำนวนหน้า:

648

ISBN 10: