Theoretical Aspects of Computer Software

Name: Theoretical Aspects of Computer Software
Brand: Springer, Berlin
SKU: 9783540633884
Price: 38334 HUF
Availability: InStock

Third International Symposium, TACS '97. Sendai, Japan, September 23-26, 1997. Proceedings

Szerző: Martin Abadi, Takayasu Ito

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 334 Ft

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A...

Információk a könyvről

Szerző

Martin Abadi, Takayasu Ito

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1997

oldal

648

EAN

9783540633884

ISBN

354063388X

Enbook ID

05274737

Kiadó

Springer, Berlin

Súly

980

Méretek

156 x 234 x 33

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Theoretical Aspects of Computer Software

Third International Symposium, TACS '97. Sendai, Japan, September 23-26, 1997. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták