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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,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.01 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Dom dla Jednorożca Emma Yarlett / Boek Gebonden (harde band)
common.buy 8.79 €
Funko Bitty POP: Spider-Man - Spider-Man 4-pack Spel/speelgoed Speelgoed
common.buy 16.50 €
Memento Experto Tributación en América Latina Lefebvre-El Derecho / Boek Gebonden (paperback)
common.buy 52.41 €
Como os utilizadores e empregados interagem quando desenvolvem um novo produto Louise R?nne / Boek Gebonden (paperback)
common.buy 33.50 €
Imposto de Renda do Investidor Pierre Lorenzo / Boek Gebonden (paperback)
common.buy 12.30 €
Gibt's das auch mit Liebe? Ellen Berg / Boek Gebonden (paperback)
common.buy 11.79 €
Schwimmen lernen 8: Schwimmkurs in 12 Ubungsstunden Veronika Aretz / E-book Adobe ePub DRM
common.buy 7.59 €
Die mittelalterliche und moderne Armbrust Ralph Payne-Gallwey / Boek Gebonden (paperback)
common.buy 42.31 €
Calisthenics Workout Madness / Boek Gebonden (paperback)
common.buy 19.20 €
Pasaporte a la Dimensión de Los Milagros Raquel Levinstein / Boek Gebonden (paperback)
common.buy 15.60 €
Panda El Perro Magico: Cuidando A Los Animales ER Landron / E-book Adobe ePub DRM
common.buy 7.99 €
A Certain Magical Index T20 Kazuma Kamachi / Boek Gebonden (paperback)
common.buy 8.79 €
Do Jornal à Poética de Maria Teresa Horta Antoniella Devanier Lopes / Boek Gebonden (paperback)
common.buy 44.01 €
Lehrbuch der Enneagramm-Homoeopathie Detlef Rathmer / Boek Gebonden (paperback)
common.buy 52.81 €
Ein Kuss fur Theseus - Buch mit MP3-Download Annette Weber / Boek Gebonden (paperback)
common.buy 7.09 €
?am ?am ?umi ?umi Ailin Skye / Boek Gebonden (paperback)
common.buy 11.19 €
Masallar Ülkesi Dört Mevsim Kulesi Masallari Ecehan cetin / Boek Gebonden (paperback)
common.buy 7.09 €
Les Pupilles de Tante Bette SOSTA-R / Boek Gebonden (paperback)
common.buy 19.00 €
Alumnado, familias y sistema educativo Cristina Brullet / Boek Gebonden (paperback)
common.buy 10.49 €
Soda: Méthode de français 2 / Boek Gebonden (paperback)
common.buy 35.10 €
Interkulturelle Pädagogik in der DDR Rene Hoffmann / Boek Gebonden (paperback)
common.buy 16.00 €
Cambio climático Andrés Santana Muñoz / Boek Gebonden (paperback)
common.buy 69.52 €
L' Argent Emile Zola / Boek Gebonden (paperback)
common.buy 8.69 €
Zu Wasser und Land: Geschichten aus See und von der fasten Wall Heinrich Smidt / Boek Gebonden (paperback)
common.buy 30.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

Colorado Is Calling Morgan Mosher / Boek Gebonden (harde band)
common.buy 50.11 €
Trying Elise Hurst / Boek Gebonden (harde band)
common.buy 14.10 €
Surrender to the Alpha Laxmi Hariharan / Boek Gebonden (paperback)
common.buy 15.80 €
Apologie De La Mission De S. Maur, Apostre Des Benedictins En France (1702) Thierry Ruinart / Boek Gebonden (paperback)
common.buy 26.60 €
Flexible Bodies Kedhar / Boek Gebonden (harde band)
common.buy 105.23 €
What are Exhibitions for? An Anthropological Approach Inge Daniels / Boek Gebonden (paperback)
common.buy 46.41 €
I Love You When Alicia McBride / Boek Gebonden (paperback)
common.buy 14.60 €
Definitive Guide to Masonite Christopher Pitt / E-book Adobe ePub DRM
common.buy 53.21 €
Introduction to Media Distribution Scott Kirkpatrick / E-book Adobe ePub DRM
common.buy 65.52 €
History of Newcastle and Gateshead Richard (CSR Asia) Welford / Boek Gebonden (harde band)
common.buy 38.81 €
Stepping Stone Saswat Abhigyanam / Boek Gebonden (harde band)
common.buy 14.50 €
TOP
Yanni: Voices Yanni / Boek Gebonden (paperback)
common.buy 15.60 €
40 Days with the Holy Spirit Jack Levison / Boek Gebonden (paperback)
common.buy 14.10 €
The Marriage of Sense and Soul: Integrating Science and Religion Ken Wilber / Boek Gebonden (paperback)
common.buy 15.40 €
Introduction to Labor Law Michael Evan Gold / Boek Gebonden (paperback)
common.buy 11.89 €
Mrs. Jeffries and the Merry Gentlemen Emily Brightwell / Boek Gebonden (paperback)
common.buy 6.89 €
Writing for the Hollywood $$$ Tony Blake / Boek Gebonden (harde band)
common.buy 28.90 €
Kybalion Three Initiates / Boek Gebonden (paperback)
common.buy 8.29 €
TOP
Three Hundred Years of Longing: Bu Jian Shang Xian San Bai Nian 1 Mu Su Li / Boek Gebonden (paperback)
common.buy 14.30 €
Rite out of Place Ronald L. Grimes / Boek Gebonden (harde band)
common.buy 152.05 €
Early FM Radio Gary L. Frost / Boek Gebonden (harde band)
common.buy 73.12 €
Das Alkoholverbot in Amerika. Marta Küppersbusch / Boek Gebonden (paperback)
common.buy 65.22 €

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?