Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, - detaljert visning

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings

ASM 2000
Bok Engelsk 2000


Utgitt	Berlin : Springer , c2000
Omfang	X, 379 s. : ill.
Emner	Machine theory Abstrakte maskiner Formelle språk Maskinteori (Databehandling) Matematisk logikk - Databehandling
ISBN	3540679596