Skip to main content
Sign In
Bookshare Nepal: Home
-A +A
  • Language
    • English
    • Nepali
Help

Search Results

  • Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    by Marco Bernardo • Einar Broch Johnsen

    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and c... More

    Language: ENG
    Copyright: 2015
  • Tests and Proofs

    Tests and Proofs

    by Einar Broch Johnsen • Sebastian Gabmeyer

    This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. ... More

    Language: ENG
    Copyright: 2017
  • Software Engineering and Formal Methods: 16th International Conference, SEFM 2018,  Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886)

    Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886)

    by Einar Broch Johnsen • Ina Schaefer

    This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions.... More

    Language: ENG
    Copyright: 2018
  • Theory and Practice of Formal Methods

    Theory and Practice of Formal Methods

    by Einar Broch Johnsen • Erika Ábrahám • Marcello Bonsangue

    This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of intere... More

    Language: ENG
    Copyright: 2016
  • Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    by Schahram Dustdar • Marco Aiello • Einar Broch Johnsen • Ilche Georgievski

    Infotext: This book constitutes the refereed proceedings of the 4th European Conference on Service-Oriented and Cloud computing, ESOCC 2015, held in Taormina, Sicily, Italy, in September 2015. The 13 research papers, three industry papers, and two work-in-progress papers presented were carefully re... More

    Language: ENG
    Copyright: 2015
  • Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    by Einar Broch Johnsen • Flavio De Paoli • Stefan Schulte

    This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 short papers and 3 poster papers were carefully reviewed and selected from 57 submissions. The volume a... More

    Language: ENG
    Copyright: 2012
Start Over
Show More

Refine Search

Enter a 10 or 13 digit numerical ISBN code
Categories
Clear

Footer

  • About
  • Partners
  • Legal
  • Accessibility
  • Privacy
  • Contact
  • Blog
Bookshare® and Benetech® are registered trademarks of Beneficent Technology, Inc. This website is © Copyright 2002-2022, Beneficent Technology, Inc.