Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Tests and Proofs

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

Język AngielskiAngielski
Książka Miękka
Książka Tests and Proofs Catherine Dubois
Kod Libristo: 19406924
Wydawnictwo Springer International Publishing AG, czerwiec 2018
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro... Cały opis
? points 125 b
218.80 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Bývalý cizinec Valentin Popov / Książka Miękka
common.buy 22.95 zł
Analisis de la realidad socioeconomica en Chile Benjamín Israel Navon / Książka Miękka
common.buy 90.84 zł
La Chute d'Albert Camus Nathalie Ginestier / Książka Miękka
common.buy 110.10 zł
280 huiles essentielles (Poche) Michel Dogna / Książka Miękka
common.buy 57.55 zł
Ffordd Beryglus, Y T. Llew Jones / E-book Adobe ePub DRM
common.buy 30.58 zł
Ombres chinoises Petit Guide / E-book Adobe ePub DRM
common.buy 14.53 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Tests and Proofs
Autor Catherine Dubois, Burkhart Wolff
Język Angielski
Oprawa Książka - Miękka
Data wydania 2018
Liczba stron 185
EAN 9783319929934
ISBN 3319929933
Kod Libristo 19406924
Wydawnictwo Springer International Publishing AG
Waga 314
Wymiary 155 x 235 x 12

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Bezpieczeństwo informatyczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Journey to Antipodes Jay C Bugg / Książka Miękka
common.buy 82.42 zł
Let Rome Fall WENDY ROMAN / Książka Miękka
common.buy 46.02 zł
Reward for High Public Office Barbara Nunberg / Książka Miękka
common.buy 318.58 zł
The Big Adios: Western Digest Jim Wilsky / Książka Miękka
common.buy 36.09 zł
Ancient Egypt 500-Piece Puzzle Albert Racinet / Gra/Zabawka Gra
common.buy 91.75 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?