Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

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 :-(

Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

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

Tests and Proofs

Name: Tests and Proofs
Brand: Springer Nature Switzerland AG
SKU: 24519984
Price: 51.68 EUR
Availability: InStock
Author: Dirk Beyer
ISBN: 9783030311568

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Dirk Beyer

Chantal Keller

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 24519984

Nakladateľstvo Springer Nature Switzerland AG, september 2019

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Celý popis

Libristo kód: 24519984

125 b

51.68 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel

Pevná

12.74 €

Disney MM Refresh Core, Mickey, 25cm

Hra

14.25 €

Les miznúcich hviezd Kristin Harmelová

Pevná

12.84 €

Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril

Brožovaná

33.37 €

Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner

Brožovaná

36.41 €

Planeet Vet

Brožovaná

20.22 €

Visión, La GABRIEL HERNANDEZ

Brožovaná

18.10 €

Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN

Brožovaná

16.98 €

Indonézia Baričák Pavel "Hirax"

Pevná

12.74 €

Tanrilar Okulu Stefano E. D´Anna

Brožovaná

25.08 €

Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye

Brožovaná

13.04 €

Antropologie Dan Rhodes

Brožovaná

6.87 €

Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer

Pevná

94.07 €

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.