Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
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.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary goes here
Item Description:General Notes
Physical Description:1 online resource (xi, 367 pages) :illustrations
ISBN:9783540450313
3540450319
3540450262
9783540450269