Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer
SKU: 47700162
Price: 3883 CZK
Availability: InStock
Author: Marieke Huisman
ISBN: 9783031720444

18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Marieke Huisman

Falk Howar

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Nakladatelství Springer, září 2024

?This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP... Celý popis

Libristo kód: 47700162

388 b

3 883 Kč

Skladem Ihned ke stažení

Mohlo by vás také zajímat

Intractable Seizures W. Mcintyre Burnham

Pevná

4 002 Kč

MR. MEN LITTLE MISS GO CAMPING ROGER HARGREAVES

Brožovaná

126 Kč

?This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.