Georgiana Caltais – författare

Visar alla böcker från författaren Georgiana Caltais. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Model Checking Software

   29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

   Av Georgiana Caltais, Christian Schilling

   Häftad, 2023

   604 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were …

2. 

   Model Checking Software

   29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

   Av Christian Schilling, Georgiana Caltais

   E-bok, 2023

   815 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were …

3. 

   Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

   Av Georgiana Caltais, Christian Schilling

   2023

   652 kr

   Lägg i varukorg

4. 

   Fundamentals of Software Engineering

   11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings

   Av Hossein Hojjat, Georgiana Caltais

   Häftad, 2025

   1573 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025.The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 …

5. 

   Fundamentals of Software Engineering

   11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings

   Av Georgiana Caltais, Hossein Hojjat

   E-bok, 2025

   2006 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 …