|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | 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 Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedi 2007 Edition (Lecture Notes in Computer Science) | Bonsangue, Marcello M. | Paperback | 3540729194 / 9783540729198 | 05/2007 | $52.24 |
| | Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Johnsen, Einar Broch | Paperback | 3642386121 / 9783642386121 | 05/2013 | $52.24 |
| | Service-Oriented and Cloud Computing: 5th Ifip Wg 2.14 European Conference, Esocc 2016, Vienna, Austria, September 5-7, 2016, Proceedings 2016 Edition | Aiello, Marco | Paperback | 3319444816 / 9783319444819 | 08/2016 | $52.24 |
| | Software Engineering and Formal Methods: 16th International Conference, Sefm 2018, Held as Part of Staf 2018, Toulouse, France, June 27-29, 2018, Proc 2018 Edition | Johnsen, Einar Broch | Paperback | 3319929690 / 9783319929699 | 05/2018 | $52.24 |
| | Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedings 2017 Edition (Lecture Notes in Computer Science) | Gabmeyer, Sebastian | Paperback | 3319614665 / 9783319614663 | 06/2017 | $52.24 |
| | Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 Edition (Lecture Notes in Computer Science) | Ábrahám, Erika | Paperback | 3319307339 / 9783319307336 | 03/2016 | $52.24 |
|
|
|