A Formal Model of Visualization in Computer Graphics Systems (Lecture Notes in

A Formal Model of Visualization in Computer Graphics Systems (Lecture Notes in C

State of the Art in Computer Graphics Aspects of Visualization Hardcover

Sakamura - TRON Project 1990 Open-Architecture Computer Systems - Ne - X555z

Sakamura - TRON Project 1989 Open-Architecture Computer Systems - Ne - X555z

Drechsler - Formal Modeling and Verification of Cyber-Physical Systems - X555z

Jurdzinski - Formal Modeling and Analysis of Timed Systems 10th Inte - X555z

Bollig - Formal Models of Communicating Systems Languages Automata - X555z