Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer
SKU: 44990640
Price: 60.22 EUR
Availability: InStock
Author: Virgile Prevosto
ISBN: 9783031388286

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

Virgile Prevosto

Cristina Seceleanu

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 44990640

Nakladateľstvo Springer, júl 2023

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Celý popis

Libristo kód: 44990640

146 b

60.22 €

Skladom Ihneď na stiahnutie

Zákazníci tiež kúpili

Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet

Pevná

31.77 €

Variazioni sull'apocalisse Baldacci Alessandro Baldacci

Adobe ePub DRM

61.13 €

Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan

Adobe ePub DRM

13.31 €

Bahmulle Mignon Kleinbek

Adobe ePub DRM

10.99 €

La democracia liberal y su época C. B. Macpherson

Brožovaná

13.51 €

Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy

Pevná

93.92 €

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.