Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

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

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 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer, Berlin
SKU: 43672513
Price: 222.5 PLN
Availability: InStock
Author: Virgile Prevosto
ISBN: 9783031388279

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

Virgile Prevosto

Cristina Seceleanu

Język

Angielski

Książka Miękka

Kod Libristo: 43672513

Wydawnictwo Springer, Berlin, sierpień 2023

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Cały opis

Kod Libristo: 43672513

125 b

222.50 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Mogłoby Cię także zainteresować

Empty Cradle Rosie Goodwin

Miękka

53.22 zł

White Jacket Herman Melville

Miękka

89.01 zł

Pocket Scottish Tales Tony Potter

Twarda

49.86 zł

Bladder Cancer David Pulver

Twarda

170.19 zł

Engineers as Leaders Calloway Ph.D. Jesse L Calloway Ph.D.

Twarda

173.04 zł

Brick by Brick Sheffield

Twarda

66.38 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

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 Książka - Miękka

Data wydania 2023

Liczba stron 212

EAN 9783031388279

Kod Libristo 43672513

Wydawnictwo Springer, Berlin

Waga 304

Wymiary 155 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania