Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verified Software. Theories, Tools and Experiments

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verified Software. Theories, Tools and Experiments Andrew Reynolds
Libristo kod: 46145388
Nakladnici Springer, Berlin, kolovoz 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Cijeli opis
? points 125 b
51.54 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verified Software. Theories, Tools and Experiments
Autor Andrew Reynolds, Serdar Tasiran
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2024
Broj stranica 108
EAN 9783031660634
Libristo kod 46145388
Nakladnici Springer, Berlin
Težina 195
Dimenzije 155 x 235

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

The Marriage of Sense and Soul: Integrating Science and Religion Ken Wilber / Knjiga Meki uvez
common.buy 15.53 €
Flexible Bodies Kedhar / Knjiga Tvrdi uvez
common.buy 101.99 €
Apologie De La Mission De S. Maur, Apostre Des Benedictins En France (1702) Thierry Ruinart / Knjiga Meki uvez
common.buy 26.83 €
What are Exhibitions for? An Anthropological Approach Inge Daniels / Knjiga Meki uvez
common.buy 47.81 €
I Love You When Alicia McBride / Knjiga Meki uvez
common.buy 14.72 €
History of Newcastle and Gateshead Richard (CSR Asia) Welford / Knjiga Tvrdi uvez
common.buy 39.13 €
40 Days with the Holy Spirit Jack Levison / Knjiga Meki uvez
common.buy 14.21 €
Introduction to Media Distribution Scott Kirkpatrick / E-knjiga Adobe ePub DRM
common.buy 62.94 €
Mrs. Jeffries and the Merry Gentlemen Emily Brightwell / Knjiga Meki uvez
common.buy 6.95 €
Writing for the Hollywood $$$ Tony Blake / Knjiga Tvrdi uvez
common.buy 29.15 €
Colorado Is Calling Morgan Mosher / Knjiga Tvrdi uvez
common.buy 50.53 €
Early FM Radio Gary L. Frost / Knjiga Tvrdi uvez
common.buy 74.14 €
Rite out of Place Ronald L. Grimes / Knjiga Tvrdi uvez
common.buy 107.64 €
Kybalion Three Initiates / Knjiga Meki uvez
common.buy 8.36 €
Top
Three Hundred Years of Longing: Bu Jian Shang Xian San Bai Nian 1 Mu Su Li / Knjiga Meki uvez
common.buy 14.42 €
Introduction to Labor Law Michael Evan Gold / Knjiga Meki uvez
common.buy 12.00 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?