Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings /

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an intr...

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awduron Eraill: Gurevich, Yuri, Kutter, Philipp W., Odersky, Martin, Thiele, Lothar
Fformat: Meddalwedd Cronfa ddata
Iaith:English
Cyhoeddwyd: Berlin Springer-Verlag Berlin Heidelberg 2000.
Cyfres:Lecture notes in computer science ; 1912,
Pynciau:
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!