«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Verified Software. Theories, Tools and Experiments

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

Idioma InglésInglés
Libro Tapa blanda
Libro Verified Software. Theories, Tools and Experiments Andrew Reynolds
Código Libristo: 46145388
Editores Springer, Berlin, agosto 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Funko Bitty POP: Spider-Man - Spider-Man 4-pack Juego/Juguete Juguete
common.buy 16.49 €
A Certain Magical Index T20 Kazuma Kamachi / Libro Tapa blanda
common.buy 9.99 €
Memento Experto Tributación en América Latina Lefebvre-El Derecho / Libro Tapa blanda
common.buy 51.19 €
Como os utilizadores e empregados interagem quando desenvolvem um novo produto Louise R?nne / Libro Tapa blanda
common.buy 37.39 €
Imposto de Renda do Investidor Pierre Lorenzo / Libro Tapa blanda
common.buy 12.79 €
Die mittelalterliche und moderne Armbrust Ralph Payne-Gallwey / Libro Tapa blanda
common.buy 43.39 €
Panda El Perro Magico: Cuidando A Los Animales ER Landron / Libro electrónico Adobe ePub DRM
common.buy 8.49 €
Calisthenics Workout Madness / Libro Tapa blanda
common.buy 20.09 €
Ein Kuss fur Theseus - Buch mit MP3-Download Annette Weber / Libro Tapa blanda
common.buy 7.19 €
Do Jornal à Poética de Maria Teresa Horta Antoniella Devanier Lopes / Libro Tapa blanda
common.buy 49.19 €
Pasaporte a la Dimensión de Los Milagros Raquel Levinstein / Libro Tapa blanda
common.buy 17.29 €
Lehrbuch der Enneagramm-Homoeopathie Detlef Rathmer / Libro Tapa blanda
common.buy 58.99 €
?am ?am ?umi ?umi Ailin Skye / Libro Tapa blanda
common.buy 11.79 €
Masallar Ülkesi Dört Mevsim Kulesi Masallari Ecehan cetin / Libro Tapa blanda
common.buy 7.89 €
Les Pupilles de Tante Bette SOSTA-R / Libro Tapa blanda
common.buy 20.39 €
Alumnado, familias y sistema educativo Cristina Brullet / Libro Tapa blanda
common.buy 10.29 €
Soda: Méthode de français 2 / Libro Tapa blanda
common.buy 34.19 €
Interkulturelle Pädagogik in der DDR Rene Hoffmann / Libro Tapa blanda
common.buy 17.89 €
Cambio climático Andrés Santana Muñoz / Libro Tapa blanda
common.buy 77.69 €
L' Argent Emile Zola / Libro Tapa blanda
common.buy 9.79 €
Zu Wasser und Land: Geschichten aus See und von der fasten Wall Heinrich Smidt / Libro Tapa blanda
common.buy 34.49 €
Das Alkoholverbot in Amerika. Marta Küppersbusch / Libro Tapa blanda
common.buy 72.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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Verified Software. Theories, Tools and Experiments
Autor Andrew Reynolds, Serdar Tasiran
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2024
Número de páginas 108
EAN 9783031660634
Código Libristo 46145388
Editores Springer, Berlin
Peso 195
Dimensiones 155 x 235

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Yanni: Voices Yanni / Libro Tapa blanda
common.buy 15.39 €
Apologie De La Mission De S. Maur, Apostre Des Benedictins En France (1702) Thierry Ruinart / Libro Tapa blanda
common.buy 27.89 €
Surrender to the Alpha Laxmi Hariharan / Libro Tapa blanda
common.buy 16.59 €
Flexible Bodies Kedhar / Libro Tapa dura
common.buy 113.89 €
What are Exhibitions for? An Anthropological Approach Inge Daniels / Libro Tapa blanda
common.buy 53.09 €
I Love You When Alicia McBride / Libro Tapa blanda
common.buy 15.39 €
History of Newcastle and Gateshead Richard (CSR Asia) Welford / Libro Tapa dura
common.buy 40.69 €
Introduction to Media Distribution Scott Kirkpatrick / Libro electrónico Adobe ePub DRM
common.buy 69.99 €
The Marriage of Sense and Soul: Integrating Science and Religion Ken Wilber / Libro Tapa blanda
common.buy 16.29 €
40 Days with the Holy Spirit Jack Levison / Libro Tapa blanda
common.buy 14.99 €
Mrs. Jeffries and the Merry Gentlemen Emily Brightwell / Libro Tapa blanda
common.buy 7.29 €
Writing for the Hollywood $$$ Tony Blake / Libro Tapa dura
common.buy 30.39 €
Colorado Is Calling Morgan Mosher / Libro Tapa dura
common.buy 52.49 €
Stepping Stone Saswat Abhigyanam / Libro Tapa dura
common.buy 15.39 €
Introduction to Labor Law Michael Evan Gold / Libro Tapa blanda
common.buy 12.69 €
Popular
Three Hundred Years of Longing: Bu Jian Shang Xian San Bai Nian 1 Mu Su Li / Libro Tapa blanda
common.buy 16.29 €
Kybalion Three Initiates / Libro Tapa blanda
common.buy 8.89 €
Rite out of Place Ronald L. Grimes / Libro Tapa dura
common.buy 161.29 €
Early FM Radio Gary L. Frost / Libro Tapa dura
common.buy 73.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?