Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Integrated Formal Methods: 14th International Conference, Ifm 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings 2018 Edition Furia, Carlo A.Paperback3319989375 /
9783319989372		08/2018$52.24
Model Checking Abstract State MachinesWinter, KirstenPaperback3639018915 /
9783639018912		05/2008$81.05
  (2 items found)