🍂 Fall in love with reading this Autumn! 🍂 ️

Recently Viewed

Software Development & Engineering

Sort By:

Display Type:
Filters
  • Book
  • Qty in Cart
  • Quantity
  • Price
  • Subtotal
  • Python Programming: The Easiest Python Crash Course to go Deep Through the Main Application as Web Development, Data Analysis and Data Science Including Machine Learning by Alan Grid 9781914045257

    Python Programming: The Easiest Python Crash Course to go Deep Through the Main Application as Web Development, Data Analysis and Data Science Including Machine Learning by Alan Grid 9781914045257

    RRP: £25.99
    Booksplease Price: £20.23
    Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781914045257Author Alan GridFormat HardbackPage Count 124Imprint
    Qty in Cart: 0
    Quantity:
    Price:
    RRP: £25.99
    Booksplease Price: £20.23
    Subtotal:
  • Guide to Signals and Patterns in Image Processing: Foundations, Methods and Applications by Apurba Das 9783319141718

    Guide to Signals and Patterns in Image Processing: Foundations, Methods and Applications by Apurba Das 9783319141718

    Booksplease Price: £47.08
    This text reviews the field of digital image processing from the different perspectives offered by the separate domains of signal processing and pattern recognition. The book describes a rich array...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £47.08
    Subtotal:
  • Machine Learning in Medical Imaging: 10th International Workshop, MLMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings by Heung-Il Suk 9783030326913

    Machine Learning in Medical Imaging: 10th International Workshop, MLMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings by Heung-Il Suk 9783030326913

    Booksplease Price: £46.28
    This book constitutes the proceedings of the 10th International Workshop on Machine Learning in Medical Imaging, MLMI 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • Medical Image Computing and Computer-Assisted Intervention   MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II by Maxime Descoteaux 9783319661841

    Medical Image Computing and Computer-Assisted Intervention MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II by Maxime Descoteaux 9783319661841

    Booksplease Price: £47.88
    The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017,...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £47.88
    Subtotal:
  • Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I by Shuvendu K. Lahiri 9783030532871

    Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I by Shuvendu K. Lahiri 9783030532871

    Booksplease Price: £37.24
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA,...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £37.24
    Subtotal:
  • Transactions on Edutainment XIV by Zhigeng Pan 9783662566886

    Transactions on Edutainment XIV by Zhigeng Pan 9783662566886

    Booksplease Price: £46.74
    This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.74
    Subtotal:
  • Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings by Michael Gelfond 9783540667490

    Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings by Michael Gelfond 9783540667490

    Booksplease Price: £46.58
    ThisvolumeconsistsoftherefereedpaperspresentedattheFifthInternational ConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR'99) heldatElPaso,Texas,inDecember1999. LPNMR'99isthe...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Virtual Worlds: First International Conference, VW'98 Paris, France, July 1-3, 1998 Proceedings by Jean-Claude Heudin 9783540647805

    Virtual Worlds: First International Conference, VW'98 Paris, France, July 1-3, 1998 Proceedings by Jean-Claude Heudin 9783540647805

    Booksplease Price: £46.58
    1 Introduction Imagine a virtual world with digital creatures that looks like real life, sounds like real life, and even feels like real life. Imagine a virtual world not only with nice three...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks by Onn Shehory 9783662522790

    Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks by Onn Shehory 9783662522790

    Booksplease Price: £90.56
    With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £90.56
    Subtotal:
  • Internetware: A New Software Paradigm for Internet Computing by Jian Lu 9789811025457

    Internetware: A New Software Paradigm for Internet Computing by Jian Lu 9789811025457

    Booksplease Price: £91.36
    This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £91.36
    Subtotal:
  • Digital Audio Editing Fundamentals by Wallace Jackson 9781484216477

    Digital Audio Editing Fundamentals by Wallace Jackson 9781484216477

    RRP: £27.99
    Booksplease Price: £26.60
    This concise book builds upon the foundational concepts of MIDI, synthesis, and sampled waveforms. It also covers key factors regarding the data footprint optimization work process, streaming versus...
    Qty in Cart: 0
    Quantity:
    Price:
    RRP: £27.99
    Booksplease Price: £26.60
    Subtotal:
  • Computational Visualization: Graphics, Abstraction and Interactivity by Thomas Strothotte 9783642641497

    Computational Visualization: Graphics, Abstraction and Interactivity by Thomas Strothotte 9783642641497

    Booksplease Price: £46.58
    An introduction to the use of abstraction in interactive computer graphics, emphasizing zooming and rendering techniques and discussing benefits for medical and technical applications.Book...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition by Ben Liblit 9783540718772

    Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition by Ben Liblit 9783540718772

    Booksplease Price: £46.28
    Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • A Process Algebraic Approach to Software Architecture Design by Alessandro Aldini 9781447157663

    A Process Algebraic Approach to Software Architecture Design by Alessandro Aldini 9781447157663

    Booksplease Price: £46.28
    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • The Renaissance of Legacy Systems: Method Support for Software-System Evolution by Ian Warren 9781852330606

    The Renaissance of Legacy Systems: Method Support for Software-System Evolution by Ian Warren 9781852330606

    Booksplease Price: £46.28
    Today, software professionals recognize that change in software systems is inevitable. There are many systems currently in operation, however, which were developed before the need for change was...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • Blind Image Deconvolution: Methods and Convergence by Subhasis Chaudhuri 9783319104843

    Blind Image Deconvolution: Methods and Convergence by Subhasis Chaudhuri 9783319104843

    Booksplease Price: £46.74
    Blind deconvolution is a classical image processing problem which has been investigated by a large number of researchers over the last four decades. The purpose of this monograph is not to propose...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.74
    Subtotal:
  • Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers by Frank van der Linden 9783540436591

    Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers by Frank van der Linden 9783540436591

    Booksplease Price: £46.58
    This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, Spain, October 3-5, 2001. This workshop was the fourth in a series...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings by Borzoo Bonakdarpour 9783319111636

    Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings by Borzoo Bonakdarpour 9783319111636

    Booksplease Price: £46.28
    This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings by Bernd Krieg-Bruckner 9783540552536

    ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings by Bernd Krieg-Bruckner 9783540552536

    Booksplease Price: £46.58
    This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes,...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Fundamental Algorithms for Computer Graphics: NATO Advanced Study Institute directed by J.E. Bresenham, R.A. Earnshaw, M.L.V. Pitteway by Rae Earnshaw 9783540543978

    Fundamental Algorithms for Computer Graphics: NATO Advanced Study Institute directed by J.E. Bresenham, R.A. Earnshaw, M.L.V. Pitteway by Rae Earnshaw 9783540543978

    Booksplease Price: £47.88
    Algorithms provide the basic foundation for all computational processes. This volume presents algorithms at the foundational level and also at the various levels between this level and the user...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £47.88
    Subtotal:
  • Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers by Pierre Flener 9783540657651

    Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers by Pierre Flener 9783540657651

    Booksplease Price: £46.28
    This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report by Manfred Broy 9783540605898

    KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report by Manfred Broy 9783540605898

    Booksplease Price: £46.58
    This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary,...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Information Processing in Medical Imaging: 12th International Conference, IPMI '91, Wye, UK, July 7-12, 1991. Proceedings by Alan C.F. Colchester 9783540542469

    Information Processing in Medical Imaging: 12th International Conference, IPMI '91, Wye, UK, July 7-12, 1991. Proceedings by Alan C.F. Colchester 9783540542469

    Booksplease Price: £90.86
    The 1991 International Conference on Information Processing in Medical Imaging (IPMI '91) is the twelfth in the series and was held in Wye College, part of the University of London. The purpose of...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £90.86
    Subtotal:
  • Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings by Conjeevaram E.Veni Madhavan 9783540520481

    Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings by Conjeevaram E.Veni Madhavan 9783540520481

    Booksplease Price: £46.28
    The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph,...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • Invasive Software Composition by Uwe Assmann 9783540443858

    Invasive Software Composition by Uwe Assmann 9783540443858

    Booksplease Price: £46.58
    Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings by David Sands 9783540418627

    Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings by David Sands 9783540418627

    Booksplease Price: £46.58
    ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings by M. Joseph 9783540138839

    Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings by M. Joseph 9783540138839

    Booksplease Price: £47.08
    Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540138839Author M. JosephFormat PaperbackPage Count 470Imprint
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £47.08
    Subtotal:
  • String Processing and Information Retrieval: 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings by Mario A. Nascimento 9783540201779

    String Processing and Information Retrieval: 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings by Mario A. Nascimento 9783540201779

    Booksplease Price: £46.28
    This volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.28
    Subtotal:
  • FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by R. Ramanujam 9783540304951

    FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by R. Ramanujam 9783540304951

    Booksplease Price: £91.68
    This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to excellence...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £91.68
    Subtotal:
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I by Tiziana Margaria 9783319471655

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I by Tiziana Margaria 9783319471655

    Booksplease Price: £92.16
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £92.16
    Subtotal:
  • Software Architecture: 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings by Bedir Tekinerdogan 9783031425912

    Software Architecture: 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings by Bedir Tekinerdogan 9783031425912

    Booksplease Price: £65.96
    This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £65.96
    Subtotal:
  • Software Engineering by Laxmidhar V 9781649510785

    Software Engineering by Laxmidhar V 9781649510785

    Booksplease Price: £19.22
    Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781649510785Author Laxmidhar VFormat PaperbackPage Count 242Imprint
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £19.22
    Subtotal:
  • Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part III by Shai Avidan 9783031200618

    Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part III by Shai Avidan 9783031200618

    RRP: £99.99
    Booksplease Price: £99.06
    The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during...
    Qty in Cart: 0
    Quantity:
    Price:
    RRP: £99.99
    Booksplease Price: £99.06
    Subtotal:
  • Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXIV by Shai Avidan 9783031200526

    Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXIV by Shai Avidan 9783031200526

    RRP: £99.99
    Booksplease Price: £99.06
    The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during...
    Qty in Cart: 0
    Quantity:
    Price:
    RRP: £99.99
    Booksplease Price: £99.06
    Subtotal:
  • Scale Space and Variational Methods in Computer Vision: Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 -- June 2, 2011, Revised Selected Papers by Alfred M. Bruckstein 9783642247842

    Scale Space and Variational Methods in Computer Vision: Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 -- June 2, 2011, Revised Selected Papers by Alfred M. Bruckstein 9783642247842

    Booksplease Price: £47.08
    This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2011, held in...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £47.08
    Subtotal:
  • Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I by Aurelio Campilho 9783642312946

    Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I by Aurelio Campilho 9783642312946

    Booksplease Price: £46.58
    The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012. The 107...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £46.58
    Subtotal:
  • Human Motion: Understanding, Modelling, Capture, and Animation by B. Rosenhahn 9781402066924

    Human Motion: Understanding, Modelling, Capture, and Animation by B. Rosenhahn 9781402066924

    Booksplease Price: £47.08
    This is the first book which informs about recent progress in biomechanics, computer vision and computer graphics - all in one volume. Researchers from these areas have contributed to this book to...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £47.08
    Subtotal:
  • Feature Management with LaunchDarkly: Discover safe ways to make live changes in your systems and master testing in production by Michael Gillett 9781800562974

    Feature Management with LaunchDarkly: Discover safe ways to make live changes in your systems and master testing in production by Michael Gillett 9781800562974

    Booksplease Price: £37.42
    Make code deployments completely safe and change your application in production in real time with LaunchDarkly using percentage-based rollouts, kill switches, and A/B and multi-variant testingKey...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £37.42
    Subtotal:
  • Cloud Computing Demystified for Aspiring Professionals: Hone your skills in AWS, Azure, and Google cloud computing and boost your career as a cloud engineer by David Santana 9781803243313

    Cloud Computing Demystified for Aspiring Professionals: Hone your skills in AWS, Azure, and Google cloud computing and boost your career as a cloud engineer by David Santana 9781803243313

    Booksplease Price: £38.06
    Gain in-depth knowledge of cloud computing concepts and apply them to accelerate your career in any cloud engineering roleKey FeaturesGet to grips with key cloud computing concepts, cloud service...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £38.06
    Subtotal:
  • Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings by Erika Abraham 9783319336923

    Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings by Erika Abraham 9783319336923

    Booksplease Price: £71.18
    This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this...
    Qty in Cart: 0
    Quantity:
    Price:
    Booksplease Price: £71.18
    Subtotal:
  • Total: items /

Adding your books to cart