Browse By Department
Pre-Owned Lecture Notes in Computer Science: Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems Form
This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT) held in Grenoble France on September 22-24 2004. The...
$70.26 $61.48 Free Delivery