Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Time 2004 Edition (Lecture Notes in Computer Science,)Lakhnech, YassinePaperback3540231676 /
9783540231677
09/2004$52.24
Tool Support for System Specification, Development and Verification Softcover Repri Edition (Advances in Computing Sciences)Berghammer, RudolfPaperback3211832823 /
9783211832820
03/1999$52.24
From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Bensalem, SaddekPaperback3642548474 /
9783642548475
03/2014$52.24
  (3 items found)