Browse Results

Showing 31,526 through 31,550 of 82,861 results
Title Author ISBN Copyright Features Action
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Lecture Notes in Computer Science #11852) 2975301 Yamine Ait-Ameur Shengchao Qin 9783030324094 2019 Contains images
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Lecture Notes in Computer Science #7635) 4728485 Toshiaki Aoki Kenji Taguchi 9783642342813 2012
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Lecture Notes in Computer Science #5885) 4775149 Karin Breitman Ana Cavalcanti 9783642103735 2009
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science #9407) 2836130 Michael Butler Sylvain Conchon Fatiha Zaïdi 9783319254234 2015 Contains images
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings (Lecture Notes in Computer Science #4789) 4801887 Michael Butler Michael G. Hinchey Maria M. Larrondo-Petrie 9783540766506 2007
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science #3308) 4760254 Jim Davies Wolfram Schulte Mike Barnett 9783540304821 2004
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science #2885) 4623249 Jin-Song Dong Jim Woodcock 9783540398936 2003
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings (Lecture Notes in Computer Science #6447) 4607933 Jin-Song Dong Huibiao Zhu 9783642169014 2010
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Lecture Notes in Computer Science #10610) 2253443 Zhenhua Duan Luke Ong 9783319686905 2017 Contains images
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science #2495) 4711858 Chris George Huaikou Miao 9783540361039 2002
Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Lecture Notes in Computer Science #8144) 4788405 Lindsay Groves Jing Sun 9783642412028 2013
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings (Lecture Notes in Computer Science #3785) 4786056 Kung-Kiu Lau Richard Banach 9783540322504 2005
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308) 5784102 Yi Li Sofiène Tahar 9789819975846 2023 Contains images
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science #12531) 3874898 Shang-Wei Lin Zhe Hou Brendan Mahony 9783030634063 2020 Contains images
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings (Lecture Notes in Computer Science #5256) 4589693 Shaoying Liu Tom Maibaum Keijiro Araki 9783540881940 2008
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science #4260) 4781133 Zhiming Liu Jifeng He 9783540474623 2006
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings (Lecture Notes in Computer Science #8829) 2816247 Stephan Merz Jun Pang 9783319117379 2014
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science #10009) 2853301 Kazuhiro Ogata Mark Lawford Shaoying Liu 9783319478463 2016 Contains images
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings (Lecture Notes in Computer Science #6991) 4777551 Shengchao Qin Zongyan Qiu 9783642245596 2011
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science #11232) 2318757 Jing Sun Meng Sun 9783030024505 2018 Contains images
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13478) 5159646 Min Zhang Adrian Riesco 9783031172441 2022 Contains images
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings (Lecture Notes in Computer Science #4054) 4802162 András Horváth Miklós Telek 9783540353652 2006
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings (Lecture Notes in Computer Science #4748) 4696029 Katinka Wolter 9783540752110 2007
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science #4949) 4664655 Robert M. Hierons Jonathan P. Bowen Mark Harman 9783540789178 2008
Formal Methods Applied to Complex Systems: Implementation of the B Method (Iste Ser.) 2994347 Jean-Louis Boulanger 9781119002925 2014 Contains images

Refine Search

Showing 31,526 through 31,550 of 82,861 results