Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer, Berlin
SKU: 43672513
Price: 51.61 EUR
Availability: InStock
Author: Virgile Prevosto
ISBN: 9783031388279

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto

Cristina Seceleanu

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 43672513

Nakladnici Springer, Berlin, kolovoz 2023

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Cijeli opis

Libristo kod: 43672513

125 b

51.61 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Moglo bi vas zanimati i

Empty Cradle Rosie Goodwin

Meki uvez

12.62 €

White Jacket Herman Melville

Meki uvez

20.60 €

Pocket Scottish Tales Tony Potter

Tvrdi uvez

7.67 €

Bladder Cancer David Pulver

Tvrdi uvez

39.49 €

Engineers as Leaders Calloway Ph.D. Jesse L Calloway Ph.D.

Tvrdi uvez

40.09 €

Brick by Brick Sheffield

Tvrdi uvez

14.43 €

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.