Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2013 Edition (Lecture Notes in Computer Science / Programming and Software)Bernardo, MarcoPaperback3642388736 /
9783642388736		06/2013$47.49
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio 2010 Edition Aldini, AlessandroPaperback364213677X /
9783642136771		06/2010$52.24
  (2 items found)