Limit this search to....

  (6 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010 Shanghai, China, November 17-19, 2010 (Lecture Notes in Computer Science)Dong, Jin SongPaperback3642169007 /
9783642169007
10/2010$104.49
Service-Oriented Computing - Icsoc Workshops 2012: Icsoc 2012, International Workshops Asc, Disa, Paasc, Sceb, Semaps, and Wesoa, and Satellite Events 2013 Edition (Lecture Notes in Computer Science / Programming and Software)Ghose, AdityaPaperback364237803X /
9783642378034
04/2013$52.24
Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Liu, ZhimingPaperback3642397174 /
9783642397172
07/2013$52.24
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Liu, ZhimingPaperback3642396976 /
9783642396977
07/2013$52.24
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, 2013 Edition Liu, ZhimingPaperback3642397204 /
9783642397202
07/2013$52.24
Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 Edition (Lecture Notes in Computer Science)Bowen, Jonathan P.Paperback3319522272 /
9783319522272
01/2017$52.24
  (6 items found)