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 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer
SKU: 47698782
Price: 255.73 PLN
Availability: InStock
Author: Andrew Reynolds
ISBN: 9783031660641

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds

Serdar Tasiran

Język

Angielski

E-book Adobe ePub DRM

Wydawnictwo Springer, lipiec 2024

This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Cały opis

Kod Libristo: 47698782

146 b

255.73 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

MTM Záložka do knihy 3D - Koala šedá

binding.

46.00 zł

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

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 Verified Software. Theories, Tools and Experiments

Autor Andrew Reynolds, Serdar Tasiran

Język

Angielski

Oprawa E-book - Adobe ePub DRM

Data wydania 2024

EAN 9783031660641

Kod Libristo 47698782

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) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie