Ata uhi

Summary goes here

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Hōputu: Pukapuka
Reo:Ingarihi
Ngā marau:
Computer simulation
Temporal automata
Formal methods (Computer science)
Electronic Data Processing
Algorithms
Software
Simulation par ordinateur
Automates temporels
Méthodes formelles (Informatique)
Informatique.
Logiciels.
Algorithmes.
data processing.
computer science.
software.
algorithms.
Computer science
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Algorithm Analysis and Problem Complexity
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
Whakaahuatanga
Whakarāpopototanga:Summary goes here
Whakaahutanga tūemi:General Notes
Whakaahuatanga ōkiko:1 online resource (xi, 351 pages) :illustrations
ISBN:9783642243103
364224310X
3642243096
9783642243097