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 Kurier 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

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

Język AngielskiAngielski
Książka Miękka
Książka Tests and Proofs Dirk Beyer
Kod Libristo: 24519984
Wydawnictwo Springer Nature Switzerland AG, wrzesień 2019
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Cały opis
? points 125 b
220.54 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel / Książka Twarda
common.buy 54.37 zł
Disney MM Refresh Core, Mickey, 25cm / Gra/Zabawka Gra
common.buy 60.64 zł
Les miznúcich hviezd Kristin Harmelová / Książka Twarda
common.buy 65.59 zł
Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril / Książka Miękka
common.buy 142.41 zł
Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner / Książka Miękka
common.buy 163.33 zł
Planeet Vet / Książka Miękka
common.buy 86.41 zł
Visión, La GABRIEL HERNANDEZ / Książka Miękka
common.buy 76.91 zł
Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN / Książka Miękka
common.buy 72.66 zł
Indonézia Baričák Pavel "Hirax" / Książka Twarda
common.buy 61.34 zł
Tanrilar Okulu Stefano E. D´Anna / Książka Miękka
common.buy 107.13 zł
Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye / Książka Miękka
common.buy 58.41 zł
Antropologie Dan Rhodes / Książka Miękka
common.buy 30.31 zł
Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer / Książka Twarda
common.buy 401.56 zł

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.

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 Dirk Beyer, Chantal Keller
Język Angielski
Oprawa Książka - Miękka
Data wydania 2019
Liczba stron 207
EAN 9783030311568
Kod Libristo 24519984
Wydawnictwo Springer Nature Switzerland AG
Waga 454
Wymiary 155 x 235 x 13

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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ć

art of Anatole France Dushan Bresky / Książka Twarda
common.buy 466.46 zł
The Liberty Bell Mary Firestone / Książka Miękka
common.buy 41.23 zł
Hypnotism in Mental and Moral Culture John Duncan Quackenbos / Książka Twarda
common.buy 195.47 zł
Living or Dead Labor Unions .. Caroline Nelson / Książka Twarda
common.buy 114.81 zł
Bertha, Our Little German Cousin Mary Hazelton Blanchard Wade / Książka Miękka
common.buy 68.42 zł
Global Future of Higher Education and the Academic Profession Philip G. Altbach / Książka Miękka
common.buy 453.92 zł
Virtual Point of Freedom Lorenzo Chiesa / Książka Miękka
common.buy 175.76 zł
This Is Your Mind On Plants Michael Pollan / Audiobook MP3
common.buy 49.01 zł
Diversity in Career Preferences For Future Health Workers in Rwanda World Bank / Książka Miękka
common.buy 72.87 zł
Americanization/Westernization of Austria Anton Pelinka / Książka Miękka
common.buy 321.11 zł
Optical Bistability III Hyatt M. Gibbs / Książka Miękka
common.buy 439.67 zł
Formation Of The Republican Party As A National Political Organization (1911) Saul Philip Kleeberg Gordon / Książka Miękka
common.buy 123.00 zł
Molecular Processes in Plasmas Yukikazu Itikawa / Książka Miękka
common.buy 439.67 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?