Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings 9783031321573, 9783031321566, 303132157X

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

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023

161 38 6MB Read more

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings [1 ed.] 9783642026515, 3642026516

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN

343 11 5MB Read more

Requirements Engineering: Foundation for Software Quality: 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings (Lecture Notes in Computer Science) 3031297857, 9783031297854

This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering:

119 58 19MB Read more

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues) 3030846288, 9783030846282

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021

115 51 Read more

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885) 3540410309, 9783540410300

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking

121 77 3MB Read more

Static Analysis. 30th International Symposium, SAS 2023 Cascais, Portugal, October 22–24, 2023 Proceedings 9783031442445, 9783031442452

110 16 24MB Read more

Information and Software Technologies: 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12–14, 2023, Proceedings (Communications in Computer and Information Science) 3031489802, 9783031489808

This book constitutes the refereed proceedings of the 29th International Conference on Information and Software Technolo

108 92 29MB Read more

1 April 2023 New Scientist. International Edition

117 26 20MB Read more

Foreign Affairs Magazine (March April 2023) [March April 2023]

97 0 Read more

MultiMedia Modeling: 29th International Conference, MMM 2023, Bergen, Norway, January 9–12, 2023, Proceedings, Part II 9783031278181, 3031278186

The two-volume set LNCS 13833 and LNCS 13834 constitutes the proceedings of the 29th International Conference on MultiMe

110 100 110MB Read more