0
Your cart

Your cart is empty

Books

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
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*

Bookmark and Share

Expected to ship within 10 - 15 working days

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Cooking Lekka - Comforting Recipes For…
Thameenah Daniels Paperback R300 R275 Discovery Miles 2 750
Kirstenbosch - A Visitor's Guide
Colin Paterson-Jones, John Winter Paperback R160 R148 Discovery Miles 1 480
Cooking with Kim Bagley - A South…
Kim Bagley Paperback R390 R339 Discovery Miles 3 390
Behind Prison Walls - Unlocking a Safer…
Edwin Cameron, Rebecca Gore, … Paperback R350 R310 Discovery Miles 3 100
Disciple - Walking With God
Rorisang Thandekiso, Nkhensani Manabe Paperback  (1)
R280 R239 Discovery Miles 2 390
Eight Days In July - Inside The Zuma…
Qaanitah Hunter, Kaveel Singh, … Paperback  (1)
R360 R337 Discovery Miles 3 370
Hiking Beyond Cape Town - 40 Inspiring…
Nina du Plessis, Willie Olivier Paperback R340 R314 Discovery Miles 3 140
Waterboy - Making Sense Of My Son's…
Glynis Horning Paperback R320 R295 Discovery Miles 2 950
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, … Paperback R350 R317 Discovery Miles 3 170
Expensive Poverty - Why Aid Fails And…
Greg Mills Paperback R360 R326 Discovery Miles 3 260
Sabotage - Eskom Under Siege
Kyle Cowan Paperback  (2)
R340 R314 Discovery Miles 3 140
All Dhal'd Up - Every Day, Indian-ish…
Kamini Pather Hardcover R420 R329 Discovery Miles 3 290

See more

Partners