Name: Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124) (PDF/EPUB Version)
SKU: 5724-CTEBOOK2022-41341
Availability: InStock

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, … (Lecture Notes in Computer Science, 13124) (PDF/EPUB Version)

$19.99

Author: Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha Sharygina (editor)
Series:
Publisher: Springer
Year: 2022
Edition: 1st ed. 2022
Language: English
ISSN:

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, … (Lecture Notes in Computer Science, 13124) (PDF/EPUB Version)

‘Greater India’ and the Indian Expansionist Imagination, c. 1885–1965: The Rise and Decline of the Idea of a Lost Hindu Empire (PDF/EPUB Version)

‘Half-London’ in Zambia: contested identities in a Catholic mission school (PDF/EPUB Version)

‘The President Has Been Shot’: Confusion, Disability, and the 25th Amendment (PDF/EPUB Version)

“Building a Sailboat in a Storm”: “Building a Sailboat in a Storm” (PDF/EPUB Version)

“The Soul Seeks Its Melodies”: Music in Jewish Thought (PDF/EPUB Version)

»Failed« Migratory Adventures?: Malian Men Facing Conditions Post Deportation in Southern Mali (PDF/EPUB Version)

(Dis)Obedience In Digital Societies: Perspectives On The Power Of Algorithms And Data (PDF/EPUB Version)

(ISC)2 CCSP Certified Cloud Security Professional Official Study Guide (PDF/EPUB Version)

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, … (Lecture Notes in Computer Science, 13124) (PDF/EPUB Version)

Related products