| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910580161203321 |
|
|
Titolo |
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / / edited by Laura Kovács, Karl Meinke |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (132 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13361 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Logic |
Computer science |
Formal Logic |
Models of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911049179703321 |
|
|
Autore |
Soylu Ahmet |
|
|
Titolo |
Mobile and Ubiquitous Systems : 21st EAI International Conference, MobiQuitous 2024, Oslo, Norway, November 12-14, 2024, Proceedings |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer, , 2026 |
|
©2026 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (845 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Series ; ; v.634 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
LiuFan |
MitraKaran |
ZhangYan |
GrønliTor-Morten |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 21st International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2024, held in Oslo, Norway, during November 12-14, 2024.The 32 full papers presented in this book were carefully reviewed and selected from 73 submissions. |
|
|
|
|
|
|
|
| |