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.

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer
SKU: 49179237
Price: 60.29 EUR
Availability: InStock
Author: Jonathan Protzenko
ISBN: 9783031866951

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Jonathan Protzenko

Azalea Raad

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Nakladateľstvo Springer, máj 2025

This book constitutes the refereed proceedings of the 16th International Conference on Verified Soft... Celý popis

Libristo kód: 49179237

146 b

60.29 €

Skladom Ihneď na stiahnutie

Zákazníci tiež kúpili

&quote;In dieser reinen Welt dort oben&quote;. Thomas A Muller

Adobe ePub DRM

20.60 €

Batman: The Animated Series DC Direct Build-A Action Figures Wave 7 Batman (Alternate Expressions) (Platinum Edition) 15 cm Hra/Hračka

Hračka

42.21 €

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.