Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Inbunden, 2022
551 kr
Formal Methods – Fun for Everybody
First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
AvAntonio Cerone,Markus Roggenbach
Häftad, Engelska, 2021
Del 1301 i serien Communications in Computer and Information Science
539 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Formal Methods for Software Engineering
Siraj Ahmed Shaikh, Gerardo Schneider, Bernd-Holger Schlingloff, Antonio Cerone, Markus Roggenbach
E-bok
2022877 kr
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Häftad, 2023
421 kr
Del 12232
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
571 kr
Formal Methods. FM 2019 International Workshops
David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski
E-bok
2020739 kr
Del 12233
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
571 kr
Formal Methods. FM 2019 International Workshops
David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski
E-bok
2020732 kr
Del 12310
Hoppa över listan
Mer från samma serie
Del 909
New Trends in Databases and Information Systems
András Benczúr, Bernhard Thalheim, Tomáš Horváth, Silvia Chiusano, Tania Cerquitelli, Csaba Sidló, Peter Z. Revesz
Häftad, 2018
571 kr
Del 1862
ICT Education
Henri Emil Van Rensburg, Dirk Petrus Snyman, Lynette Drevin, Günther Richard Drevin
Häftad, 2024
700 kr
Del 989
Information Literacy in Everyday Life
Serap Kurbanoğlu, Sonja Špiranec, Yurdagül Ünal, Joumana Boustany, Maija Leena Huotari, Esther Grassian, Diane Mizrachi, Loriene Roy
Häftad, 2019
1 071 kr
AI Agent for Information Retrieval: Generating and Ranking
Qingsong Wen, Yongfeng Zhang, Zhiwei Liu, Julian McAuley, Hua Wei, Linsey Pang, Wei Liu, Philip S. Yu
Häftad, 2026
853 kr
Information Literacy in an AI-Driven World
Serap Kurbanoğlu, Joumana Boustany, Sonja Špiranec, Yurdagül Ünal, İpek Şencan, Denis Kos, Esther Grassian, Loriene Roy, Diane Mizrachi
Häftad, 2026
964 kr
Del 1524
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça
Häftad, 2022
1 603 kr
Del 927
Del 915
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano
Häftad, 2018
539 kr
Del 916
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Juan G. Villegas, Juan Rafael Orozco-Arroyave, Pablo Andres Maya Duque
Häftad, 2018
554 kr
Del 934
Hoppa över listan
Du kanske också är intresserad av
Del 1301
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Inbunden, 2022
551 kr
Del 1301
Proceedings of the 4th International Conference on Electronic Engineering and Renewable Energy Systems - Volume 2
Bekkay Hajji, Antonio Gagliano, Adel Mellit, Abdelhamid Rabhi, Michele Calì
Inbunden, 2025
3 072 kr
Formal Methods for Software Engineering
Siraj Ahmed Shaikh, Gerardo Schneider, Bernd-Holger Schlingloff, Antonio Cerone, Markus Roggenbach
E-bok
2022877 kr
Del 1301
Del 1301
Progress in Intelligent Decision Science
Tofigh Allahviranloo, Soheil Salahshour, Nafiz Arica
Häftad, 2021
1 649 kr
Del 1301
Del 1301