Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Verified Software. Theories, Tools and Experiments

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verified Software. Theories, Tools and Experiments Andrew Reynolds
Libristo-code: 46145388
Uitgeverij Springer, Berlin, augustus 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Volledige beschrijving
? points 125 b
51.65 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Funko Bitty POP: Spider-Man - Spider-Man 4-pack Spel/speelgoed Speelgoed
common.buy 25.16 €
A Certain Magical Index T20 Kazuma Kamachi / Boek Gebonden (paperback)
common.buy 10.00 €
Memento Experto Tributación en América Latina Lefebvre-El Derecho / Boek Gebonden (paperback)
common.buy 48.52 €
Como os utilizadores e empregados interagem quando desenvolvem um novo produto Louise R?nne / Boek Gebonden (paperback)
common.buy 33.86 €
Imposto de Renda do Investidor Pierre Lorenzo / Boek Gebonden (paperback)
common.buy 12.42 €
Die mittelalterliche und moderne Armbrust Ralph Payne-Gallwey / Boek Gebonden (paperback)
common.buy 40.83 €
Panda El Perro Magico: Cuidando A Los Animales ER Landron / E-book Adobe ePub DRM
common.buy 8.08 €
Calisthenics Workout Madness / Boek Gebonden (paperback)
common.buy 19.40 €
Ein Kuss fur Theseus - Buch mit MP3-Download Annette Weber / Boek Gebonden (paperback)
common.buy 6.76 €
Do Jornal à Poética de Maria Teresa Horta Antoniella Devanier Lopes / Boek Gebonden (paperback)
common.buy 44.47 €
Pasaporte a la Dimensión de Los Milagros Raquel Levinstein / Boek Gebonden (paperback)
common.buy 15.76 €
Lehrbuch der Enneagramm-Homoeopathie Detlef Rathmer / Boek Gebonden (paperback)
common.buy 53.37 €
?am ?am ?umi ?umi Ailin Skye / Boek Gebonden (paperback)
common.buy 11.31 €
Masallar Ülkesi Dört Mevsim Kulesi Masallari Ecehan cetin / Boek Gebonden (paperback)
common.buy 7.27 €
Les Pupilles de Tante Bette SOSTA-R / Boek Gebonden (paperback)
common.buy 19.20 €
Alumnado, familias y sistema educativo Cristina Brullet / Boek Gebonden (paperback)
common.buy 9.49 €
Soda: Méthode de français 2 / Boek Gebonden (paperback)
common.buy 31.94 €
Interkulturelle Pädagogik in der DDR Rene Hoffmann / Boek Gebonden (paperback)
common.buy 16.17 €
Cambio climático Andrés Santana Muñoz / Boek Gebonden (paperback)
common.buy 70.25 €
L' Argent Emile Zola / Boek Gebonden (paperback)
common.buy 9.80 €
Zu Wasser und Land: Geschichten aus See und von der fasten Wall Heinrich Smidt / Boek Gebonden (paperback)
common.buy 31.23 €
Das Alkoholverbot in Amerika. Marta Küppersbusch / Boek Gebonden (paperback)
common.buy 65.90 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verified Software. Theories, Tools and Experiments
Auteur Andrew Reynolds, Serdar Tasiran
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2024
Aantal pagina's 108
EAN 9783031660634
Libristo-code 46145388
Uitgeverij Springer, Berlin
Gewicht 195
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Yanni: Voices Yanni / Boek Gebonden (paperback)
common.buy 14.65 €
Apologie De La Mission De S. Maur, Apostre Des Benedictins En France (1702) Thierry Ruinart / Boek Gebonden (paperback)
common.buy 26.88 €
Surrender to the Alpha Laxmi Hariharan / Boek Gebonden (paperback)
common.buy 15.96 €
Flexible Bodies Kedhar / Boek Gebonden (harde band)
common.buy 107.55 €
What are Exhibitions for? An Anthropological Approach Inge Daniels / Boek Gebonden (paperback)
common.buy 50.33 €
I Love You When Alicia McBride / Boek Gebonden (paperback)
common.buy 14.75 €
History of Newcastle and Gateshead Richard (CSR Asia) Welford / Boek Gebonden (harde band)
common.buy 39.21 €
Introduction to Media Distribution Scott Kirkpatrick / E-book Adobe ePub DRM
common.buy 66.41 €
The Marriage of Sense and Soul: Integrating Science and Religion Ken Wilber / Boek Gebonden (paperback)
common.buy 15.56 €
40 Days with the Holy Spirit Jack Levison / Boek Gebonden (paperback)
common.buy 14.24 €
Mrs. Jeffries and the Merry Gentlemen Emily Brightwell / Boek Gebonden (paperback)
common.buy 6.97 €
Writing for the Hollywood $$$ Tony Blake / Boek Gebonden (harde band)
common.buy 29.21 €
Colorado Is Calling Morgan Mosher / Boek Gebonden (harde band)
common.buy 50.64 €
Stepping Stone Saswat Abhigyanam / Boek Gebonden (harde band)
common.buy 14.65 €
Introduction to Labor Law Michael Evan Gold / Boek Gebonden (paperback)
common.buy 12.02 €
TOP
Three Hundred Years of Longing: Bu Jian Shang Xian San Bai Nian 1 Mu Su Li / Boek Gebonden (paperback)
common.buy 14.45 €
Kybalion Three Initiates / Boek Gebonden (paperback)
common.buy 8.38 €
Rite out of Place Ronald L. Grimes / Boek Gebonden (harde band)
common.buy 153.65 €
Early FM Radio Gary L. Frost / Boek Gebonden (harde band)
common.buy 70.76 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?