Könyv Theoretical Aspects of Computer Software Martin Abadi

Theoretical Aspects of Computer Software

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

Nyelv: Angol
Kötés: Puha kötésű
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

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1997
oldal
648
EAN
9783540633884
ISBN
354063388X
Enbook ID
05274737
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

Empowered

Sarah Banet-Weiser
39 750 Ft

Rolf in the Woods

Ernest Thompson Seton
4 603 Ft

Poesía

John Keats
5 152 Ft

Broken Wings

Tereza Ciccarini
11 991 Ft

Napoleonic Novels

Erckmann-Chatrian
14 013 Ft

The Forgetting

Sharon Cameron
5 661 Ft
5 763 Ft

Colors!

Lynne Dempsey
4 571 Ft
1 375 Ft

Pro Go

Adam Freeman
19 777 Ft
28 821 Ft

Knit Mitts

Kate Atherley
8 138 Ft
4 388 Ft

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

El sueño de África

JAVIER REVERTE
5 152 Ft
11 482 Ft
1 897 Ft

Accordo preliminare

Irina Bukharova
14 678 Ft

CoquinNet

MENSINK
7 473 Ft

Extinction

Douglas Preston
9 853 Ft
4 277 Ft
12 585 Ft
7 134 Ft
4 375 Ft
49 294 Ft
6 723 Ft