Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Tests and Proofs Catherine Dubois
Libristo kód: 19406924
Nakladatelství Springer International Publishing AG, červen 2018
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Bývalý cizinec Valentin Popov / Kniha Brožovaná
common.buy 126 Kč
Analisis de la realidad socioeconomica en Chile Benjamín Israel Navon / Kniha Brožovaná
common.buy 489 Kč
La Chute d'Albert Camus Nathalie Ginestier / Kniha Brožovaná
common.buy 592 Kč
280 huiles essentielles (Poche) Michel Dogna / Kniha Brožovaná
common.buy 329 Kč
Ffordd Beryglus, Y T. Llew Jones / E-kniha Adobe ePub DRM
common.buy 175 Kč
Ombres chinoises Petit Guide / E-kniha Adobe ePub DRM
common.buy 83 Kč

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Tests and Proofs
Autor Catherine Dubois, Burkhart Wolff
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2018
Počet stran 185
EAN 9783319929934
ISBN 3319929933
Libristo kód 19406924
Nakladatelství Springer International Publishing AG
Váha 314
Rozměry 155 x 235 x 12

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informační technologie: obecná témata
Výpočetní a informační technologie > Počítačová bezpečnost
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Journey to Antipodes Jay C Bugg / Kniha Brožovaná
common.buy 442 Kč
Let Rome Fall WENDY ROMAN / Kniha Brožovaná
common.buy 250 Kč
Reward for High Public Office Barbara Nunberg / Kniha Brožovaná
common.buy 1 740 Kč
The Big Adios: Western Digest Jim Wilsky / Kniha Brožovaná
common.buy 195 Kč
Ancient Egypt 500-Piece Puzzle Albert Racinet / Hra/Hračka Hra
common.buy 524 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?