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

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Język AngielskiAngielski
E-book Adobe ePub DRM
E-book Tests and Proofs Virgile Prevosto
Kod Libristo: 44990640
Wydawnictwo Springer, lipiec 2023
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Cały opis
? points 145 b
255.35 zł
Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet / Książka Twarda
common.buy 142.79 zł
Variazioni sull'apocalisse Baldacci Alessandro Baldacci / E-book Adobe ePub DRM
common.buy 259.08 zł
Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan / E-book Adobe ePub DRM
common.buy 56.62 zł
Bahmulle Mignon Kleinbek / E-book Adobe ePub DRM
common.buy 46.75 zł
La democracia liberal y su época C. B. Macpherson / Książka Miękka
common.buy 57.73 zł
Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy / Książka Twarda
common.buy 400.67 zł

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

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 Virgile Prevosto, Cristina Seceleanu
Język Angielski
Oprawa E-book - Adobe ePub DRM
Data wydania 2023
EAN 9783031388286
Kod Libristo 44990640
Wydawnictwo Springer

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Filozofia i religia > Filozofia
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ć

Towards a Deeper Understanding of Consciousness Max Velmans / E-book Adobe ePub DRM
common.buy 249.81 zł
Brian and Mina's Holiday Hits Kitty Thomas / Audiobook MP3
common.buy 208.59 zł
Addressing the Weaknesses of Multi-Criteria Decision-Making Methods using Python Erpolat Tasabat Semra Erpolat Tasabat / E-book Adobe ePub DRM
common.buy 102.68 zł
A Nursery Rhyme for Every Night of the Year Allie Esiri / E-book Adobe ePub DRM
common.buy 51.48 zł
Insight Guides Florida (Travel Guide eBook) Insight Guides / E-book Adobe ePub DRM
common.buy 52.80 zł
Cyril Squirrel Finds Out About Love Jane Evans / E-book Adobe ePub DRM
common.buy 62.47 zł
Armored Units of the Russian Civil War Bullock David Bullock / E-book Adobe ePub DRM
common.buy 61.76 zł
Zapowiedź
Muslim Women and Sports in the Malay World Wirdati Mohammad Radzi / Książka Miękka
common.buy 70.83 zł
Chasing Pain: The Search for a Neurobiological Mechanism Kenneth L. Casey / E-book Adobe ePub DRM
common.buy 155.28 zł
Wildfowling Abel Chapman / Książka Miękka
common.buy 102.38 zł
The Temptation Of Wealth: Or The Heir By Primogeniture (1846) Emilie Flygare Carlen / Książka Miękka
common.buy 106.61 zł
Can I Have You?: A BWWM Romance Ja'nese Dixon / Książka Miękka
common.buy 59.25 zł
Ethanol and Xylitol Abdul Ghaffar / Książka Miękka
common.buy 136.64 zł
Zapowiedź
Berlitz Pocket Guide Naples, Capri & the Amalfi Coast (Travel Guide) Bearlitz / Książka Miękka
common.buy 28.31 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?