Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Verified Software. Theories, Tools and Experiments

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verified Software. Theories, Tools and Experiments Andrew Reynolds
Koda Libristo: 46145388
Založba Springer, Berlin, avgust 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Celoten opis
? points 118 b
48.85 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Funko Bitty POP: Spider-Man - Spider-Man 4-pack Igra/Igrača Igrača
common.buy 16.68 €
A Certain Magical Index T20 Kazuma Kamachi / Knjiga Mehka
common.buy 9.30 €
Memento Experto Tributación en América Latina Lefebvre-El Derecho / Knjiga Mehka
common.buy 48.65 €
Como os utilizadores e empregados interagem quando desenvolvem um novo produto Louise R?nne / Knjiga Mehka
common.buy 31.85 €
Imposto de Renda do Investidor Pierre Lorenzo / Knjiga Mehka
common.buy 11.93 €
Die mittelalterliche und moderne Armbrust Ralph Payne-Gallwey / Knjiga Mehka
common.buy 36.61 €
Panda El Perro Magico: Cuidando A Los Animales ER Landron / E-knjiga Adobe ePub DRM
common.buy 7.37 €
Calisthenics Workout Madness / Knjiga Mehka
common.buy 18.40 €
Ein Kuss fur Theseus - Buch mit MP3-Download Annette Weber / Knjiga Mehka
common.buy 6.06 €
Do Jornal à Poética de Maria Teresa Horta Antoniella Devanier Lopes / Knjiga Mehka
common.buy 41.87 €
Pasaporte a la Dimensión de Los Milagros Raquel Levinstein / Knjiga Mehka
common.buy 14.86 €
Lehrbuch der Enneagramm-Homoeopathie Detlef Rathmer / Knjiga Mehka
common.buy 50.26 €
?am ?am ?umi ?umi Ailin Skye / Knjiga Mehka
common.buy 10.81 €
Masallar Ülkesi Dört Mevsim Kulesi Masallari Ecehan cetin / Knjiga Mehka
common.buy 6.87 €
Les Pupilles de Tante Bette SOSTA-R / Knjiga Mehka
common.buy 18.20 €
Alumnado, familias y sistema educativo Cristina Brullet / Knjiga Mehka
common.buy 9.60 €
Soda: Méthode de français 2 / Knjiga Mehka
common.buy 32.06 €
Interkulturelle Pädagogik in der DDR Rene Hoffmann / Knjiga Mehka
common.buy 15.26 €
Cambio climático Andrés Santana Muñoz / Knjiga Mehka
common.buy 66.25 €
L' Argent Emile Zola / Knjiga Mehka
common.buy 9.09 €
Zu Wasser und Land: Geschichten aus See und von der fasten Wall Heinrich Smidt / Knjiga Mehka
common.buy 29.43 €
Das Alkoholverbot in Amerika. Marta Küppersbusch / Knjiga Mehka
common.buy 62.30 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verified Software. Theories, Tools and Experiments
Avtor Andrew Reynolds, Serdar Tasiran
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2024
Število strani 108
EAN 9783031660634
Koda Libristo 46145388
Založba Springer, Berlin
Teža 195
Mere 155 x 235

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Yanni: Voices Yanni / Knjiga Mehka
common.buy 12.94 €
Apologie De La Mission De S. Maur, Apostre Des Benedictins En France (1702) Thierry Ruinart / Knjiga Mehka
common.buy 25.58 €
Surrender to the Alpha Laxmi Hariharan / Knjiga Mehka
common.buy 15.16 €
Flexible Bodies Kedhar / Knjiga Trda
common.buy 96.90 €
What are Exhibitions for? An Anthropological Approach Inge Daniels / Knjiga Mehka
common.buy 47.94 €
I Love You When Alicia McBride / Knjiga Mehka
common.buy 14.05 €
History of Newcastle and Gateshead Richard (CSR Asia) Welford / Knjiga Trda
common.buy 37.32 €
Introduction to Media Distribution Scott Kirkpatrick / E-knjiga Adobe ePub DRM
common.buy 60.79 €
The Marriage of Sense and Soul: Integrating Science and Religion Ken Wilber / Knjiga Mehka
common.buy 14.66 €
40 Days with the Holy Spirit Jack Levison / Knjiga Mehka
common.buy 13.44 €
Mrs. Jeffries and the Merry Gentlemen Emily Brightwell / Knjiga Mehka
common.buy 6.56 €
Writing for the Hollywood $$$ Tony Blake / Knjiga Trda
common.buy 27.71 €
Colorado Is Calling Morgan Mosher / Knjiga Trda
common.buy 48.14 €
Stepping Stone Saswat Abhigyanam / Knjiga Trda
common.buy 13.75 €
Introduction to Labor Law Michael Evan Gold / Knjiga Mehka
common.buy 11.32 €
Top
Three Hundred Years of Longing: Bu Jian Shang Xian San Bai Nian 1 Mu Su Li / Knjiga Mehka
common.buy 13.44 €
Kybalion Three Initiates / Knjiga Mehka
common.buy 7.88 €
Rite out of Place Ronald L. Grimes / Knjiga Trda
common.buy 107.92 €
Early FM Radio Gary L. Frost / Knjiga Trda
common.buy 64.63 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?