iFM 2023
| Title | iFM 2023 PDF eBook |
| Author | Paula Herber |
| Publisher | Springer Nature |
| Pages | 406 |
| Release | 2023-11-10 |
| Genre | Computers |
| ISBN | 3031477057 |
Download iFM 2023 Book in PDF, Epub and Kindle
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
TOOLympics Challenge 2023
| Title | TOOLympics Challenge 2023 PDF eBook |
| Author | Dirk Beyer |
| Publisher | Springer Nature |
| Pages | 180 |
| Release | |
| Genre | |
| ISBN | 3031676955 |
Download TOOLympics Challenge 2023 Book in PDF, Epub and Kindle
The Combined Power of Research, Education, and Dissemination
| Title | The Combined Power of Research, Education, and Dissemination PDF eBook |
| Author | Mike Hinchey |
| Publisher | Springer Nature |
| Pages | 400 |
| Release | |
| Genre | |
| ISBN | 303173887X |
Download The Combined Power of Research, Education, and Dissemination Book in PDF, Epub and Kindle
Explainable Artificial Intelligence
| Title | Explainable Artificial Intelligence PDF eBook |
| Author | Luca Longo |
| Publisher | Springer Nature |
| Pages | 529 |
| Release | |
| Genre | |
| ISBN | 3031637976 |
Download Explainable Artificial Intelligence Book in PDF, Epub and Kindle
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
| Title | Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola PDF eBook |
| Author | Tiziana Margaria |
| Publisher | Springer Nature |
| Pages | 442 |
| Release | |
| Genre | |
| ISBN | 3031737091 |
Download Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Book in PDF, Epub and Kindle
Bridging the Gap Between AI and Reality
| Title | Bridging the Gap Between AI and Reality PDF eBook |
| Author | Bernhard Steffen |
| Publisher | Springer Nature |
| Pages | 473 |
| Release | |
| Genre | |
| ISBN | 3031737415 |
Download Bridging the Gap Between AI and Reality Book in PDF, Epub and Kindle
Formal Methods
| Title | Formal Methods PDF eBook |
| Author | André Platzer |
| Publisher | Springer Nature |
| Pages | 692 |
| Release | |
| Genre | |
| ISBN | 3031711629 |
Download Formal Methods Book in PDF, Epub and Kindle