Delwedd Flaen

Summary goes here

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Fformat: Llyfr
Iaith:Saesneg
Pynciau:
Computer simulation
Temporal automata
Formal methods (Computer science)
Machine theory
Théorie des automates
Automates temporels
Méthodes formelles (Informatique)
Simulation par ordinateur
Informatique.
systemen
systems
computerwetenschappen
computer sciences
programmeertalen
programming languages
software engineering
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Disgrifiad
Crynodeb:Summary goes here
Disgrifiad o'r Eitem:General Notes
Disgrifiad Corfforoll:1 online resource (xi, 367 pages) :illustrations
ISBN:9783540450313
3540450319
3540450262
9783540450269