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, Berlin
SKU: 43672513
Price: 1182 CZK
Availability: InStock
Author: Virgile Prevosto
ISBN: 9783031388279

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

Virgile Prevosto

Cristina Seceleanu

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 43672513

Nakladatelství Springer, Berlin, srpen 2023

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

Libristo kód: 43672513

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Mohlo by vás také zajímat

Empty Cradle Rosie Goodwin

Brožovaná

267 Kč

White Jacket Herman Melville

Brožovaná

470 Kč

Pocket Scottish Tales Tony Potter

Pevná

174 Kč

Bladder Cancer David Pulver

Pevná

915 Kč

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

Pevná

927 Kč

Brick by Brick Sheffield

Pevná

352 Kč

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.