Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verified Software. Theories, Tools and Experiments

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

Jazyk AngličtinaAngličtina
E-kniha Adobe ePub DRM
Nakladatelství Springer, červenec 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Celý popis
? points 146 b
1 464 Kč
Skladem Ihned ke stažení

Zákazníci také koupili

LENNOX BERKELEY: OBOE QUARTET OP.70 (MINIATURE SCORE) BERKELEY Kniha binding.
common.buy 335 Kč
FRANCAIS PAR LES TEXTES A2-B1 - LE - NOUVELLE COUVERTURE BARTHE / Kniha Brožovaná
common.buy 522 Kč
Louis Andriessen: Theatre of the World Los Angeles Philharmonic/De Leeuw / Audio Audio CD
common.buy 600 Kč
Bildermaus - Rettung in den Bergen Loewe Erstlesebücher / Kniha Pevná
common.buy 207 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verified Software. Theories, Tools and Experiments
Autor Andrew Reynolds, Serdar Tasiran
Jazyk Angličtina
Vazba E-kniha - Adobe ePub DRM
Datum vydání 2024
EAN 9783031660641
Libristo kód 47698782
Nakladatelství Springer

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Surgery of the Pelvic and Sacral Tumor Wei Guo / E-kniha Adobe ePub DRM
common.buy 4 213 Kč
Hidden In Sable Evelyn Darlene / Kniha Brožovaná
common.buy 316 Kč
Mount Rushmore: Monument to Four Presidents in South Dakota's Black Hills Raymond C. Wilson / E-kniha Adobe ePub DRM
common.buy 26 Kč
Vanished in the Blue Ridge Katherine Fletcher / Kniha Brožovaná
common.buy 307 Kč
Eyegames: Easy and Fun Visual Exercises Lois Hickman / E-kniha Adobe ePub DRM
common.buy 149 Kč
Marrying The Playboy Doctor (Mills & Boon Medical) (Cedar Bluff Hospital, Book 1) Laura Iding / E-kniha Adobe ePub DRM
common.buy 52 Kč
Soil Fertility and Nutrient Management A.S. Jadeja / E-kniha Adobe ePub DRM
common.buy 2 010 Kč
Wanderlust - Travel Stories Bose Creative Publishers / Kniha Brožovaná
common.buy 368 Kč
Shambhavi: The Shakti Archetypes Pallavi Kwatra / Kniha Brožovaná
common.buy 1 093 Kč
The Three Musketeers V1 (1893) Alexandre Dumas / Kniha Brožovaná
common.buy 905 Kč
Real Writing with Readings: Paragraphs and Essays for College, Work, and Everyday Life Susan Anker / Kniha Brožovaná
common.buy 4 313 Kč
My Book: Write Your Own Book Become an Author Karen Grace / Kniha Brožovaná
common.buy 163 Kč
Animaladies GRUEN LORI / Kniha Pevná
common.buy 4 258 Kč
The Unknown. Peter T Raven / Kniha Brožovaná
common.buy 153 Kč
The Book of Common Prayer and Hymnal 1982 Combination: Black Leather Church Publishing / Kniha Pevná
common.buy 2 165 Kč
Regret in the life reflections of older adults Connie Isenberg / Kniha Brožovaná
common.buy 1 662 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?