Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Buy Now

Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18â€“19, 2023, Proceedings (1st ed. 2023) Loot Price: R1,496

Discovery Miles 14 960

Repayment Terms: R140 pm x 12*

Add to cart

Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18â€“19, 2023, Proceedings (1st ed. 2023):...

Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18â€“19, 2023, Proceedings (1st ed. 2023)

Virgile Prevosto, Cristina Seceleanu

Series: Lecture Notes in Computer Science, 14066

(sign in to rate)

Loot Price R1,496 Discovery Miles 14 960 | Repayment Terms: R140 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 14066
Release date:	July 2023
First published:	2023
Editors:	Virgile Prevosto • Cristina Seceleanu
Dimensions:	235 x 155mm (L x W)
Pages:	187
Edition:	1st ed. 2023
ISBN-13:	978-3-03-138827-9
Categories:	Books Promotions
LSN:	3-03-138827-5
Barcode:	9783031388279