|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | A Process Algebraic Approach to Software Architecture Design 2010 Edition | Aldini, Alessandro | Hardcover | 184800222X /
9781848002227 | 11/2009 | $52.24 |
|  | A Process Algebraic Approach to Software Architecture Design 2010 Edition | Aldini, Alessandro | Paperback | 1447157664 /
9781447157663 | 10/2014 | $52.24 |
|  | Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings (Lecture Notes in Computer Science) | Aldini, Alessandro | Paperback | 3642157831 /
9783642157837 | 09/2010 | $52.24 |
|  | Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S 2008 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 3540688927 /
9783540688921 | 05/2008 | $52.24 |
|  | 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, Marco | Paperback | 3642388736 /
9783642388736 | 06/2013 | $47.49 |
|  | Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw (Lecture Notes in Computer Science: Tutorial) | Bernardo, Marco | Paperback | 3642214541 /
9783642214547 | 06/2011 | $52.24 |
|  | Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Bernardo, Marco | Paperback | 3319073168 /
9783319073163 | 05/2014 | $52.24 |
|  | Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2006 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 3540343040 /
9783540343042 | 05/2006 | $52.24 |
|  | Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M 2005 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 3540256970 /
9783540256977 | 04/2005 | $52.24 |
|  | Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System 2012 Edition | Bernardo, Marco | Paperback | 364230981X /
9783642309816 | 06/2012 | $52.24 |
|  | Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2015 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 3319189409 /
9783319189406 | 05/2015 | $52.24 |
|  | Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2007 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 3540724826 /
9783540724827 | 05/2007 | $52.24 |
|  | Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio 2010 Edition | Aldini, Alessandro | Paperback | 364213677X /
9783642136771 | 06/2010 | $52.24 |
|  | Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems 2003 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 3540200835 /
9783540200833 | 09/2003 | $52.24 |
|  | Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys 2004 Edition (Lecture Notes) | Bernardo, Marco | Paperback | 3540230688 /
9783540230687 | 09/2004 | $52.24 |
|  | Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, 2016 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 3319340956 /
9783319340951 | 06/2016 | $52.24 |
|  | Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, 2009 Edition (Lecture Notes in Computer Science) | Bernardo, Marco | Paperback | 364201917X /
9783642019173 | 05/2009 | $66.45 |
|
|
|