Cristina Seceleanu (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

TESTS AND PROOFS : 17TH INTERNATIONAL CONFERENCE, TAP 2023, LEICESTER, UK, JULY 18–19, 2023, PROCEEDINGS

Virgile Prevosto (ed.); Cristina Seceleanu (ed.)
Springer (2023)
Pehmeäkantinen kirja

49,60 €

CYBERSECURITY IN A DEVOPS ENVIRONMENT : FROM REQUIREMENTS TO MONITORING

Andrey Sadovykh (ed.); Dragos Truscan (ed.); Wissam Mallouli (ed.); Ana Rosa Cavalli (ed.); Cristina Seceleanu (ed.); Bagna
Springer (2023)
Kovakantinen kirja

155,60 €

ENGINEERING OF COMPUTER-BASED SYSTEMS : 8TH INTERNATIONAL CONFERENCE, ECBS 2023, VÄSTERÅS, SWEDEN, OCTOBER 16–18, 2023, PROCEEDI

Jan Kofroň (ed.); Tiziana Margaria (ed.); Cristina Seceleanu (ed.)
Springer (2023)
Pehmeäkantinen kirja

57,30 €

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Virgile Prevosto (ed.), Cristina Seceleanu (ed.)

49,60 €

Springer
Sivumäärä: 187 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2023, 20.07.2023 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14066

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.

The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus