«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.

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Technology for Verification and Analysis S Akshay
Código Libristo: 46816329
Editores Springer, Berlin, noviembre 2024
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sympos... Descripción completa
? points 373 b
152.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Diplomatie économique et diplomaties parallèles François F. BERNARD / Libro Tapa blanda
common.buy 16.99 €
Reise Durch den Stillen Ozean Max Buchner / Libro Tapa blanda
common.buy 27.89 €
Je prépare ma ménopause et je la vis bien ! Bérengère Philippon / Libro Tapa blanda
common.buy 30.19 €
Kaligrafia Zeszyt z kalką praca zbiorowa / Libro Tapa blanda
common.buy 3.39 €
Dom zbrodni Christie Agata / Libro Tapa blanda
common.buy 5.79 €
Jurnal de Bancher Pe Drumuri: - Codrut Nicolau / Libro Tapa blanda
common.buy 9.79 €
Misión Fernández Arribas / Libro Tapa blanda
common.buy 28.39 €
Marbella. Vivir apaciblemente en "el gran refugio del mundo" Ramón Aymerich / Libro Tapa blanda
common.buy 24.49 €
Décalogue 9-10 la convoitise - Communio T XXV/2 n° 148 Communio Libro Tapa blanda
common.buy 18.79 €
Victor y los terremotos MARIA JOSE MARRODAN GIRONES / Libro Tapa dura
common.buy 8.39 €
T'jutorstvo i klassnoe rukovodstvo v nachal'noj shkole Svetlana Volkova / Libro Tapa blanda
common.buy 36.99 €
Der Herr Direktor Alice Berend / Libro Tapa dura
common.buy 18.79 €
Heimat Der Berge Hansl Krönauer / Audio CD de audio
common.buy 11.89 €
Cambie sus pensamientos y cambie su vida/ Change Your Thoughts, Change Your Life Wayne W. Dyer / Libro Tapa blanda
common.buy 26.29 €
Shakspere-Lexikon: Ein Handbuch zum Studium der shaksperischen Schauspiele / Libro Tapa blanda
common.buy 41.99 €
Das Hara Buch sho / Libro Tapa blanda
common.buy 11.79 €
Kritische Handlungsfelder der Work-Life-Balance bei Offizieren des Deutschen Heeres Alexander Pillris / Libro Tapa blanda
common.buy 52.19 €
Popular
Vorstadtkrokodile Max von der Grün / Libro Tapa blanda
common.buy 7.29 €

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.

The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:

Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.

Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. 

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 Automated Technology for Verification and Analysis
Autor S Akshay, Aina Niemetz, Sriram Sankaranarayanan
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2025
Número de páginas 500
EAN 9783031787492
Código Libristo 46816329
Editores Springer, Berlin
Peso 453
Dimensiones 155 x 235

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
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

Deutsche Kinder- und Hausmarchen Wilhelm Von Ploennies / Libro Tapa blanda
common.buy 12.09 €
Friend of the Firm: A Sheldon Bailey Mystery Frances Richter / Libro Tapa blanda
common.buy 15.39 €
Contact!: A Tactical Manual for Post Collapse Survival Max Velocity / Libro Tapa blanda
common.buy 27.49 €
Mystic Mountain: The Ascent to Love John R Sack / Libro Tapa blanda
common.buy 20.29 €
Leonardo Da Vinci And His Works Mrs Charles W Heaton / Libro Tapa blanda
common.buy 37.69 €
Primary School Teaching and Educational Psychology David M. Galloway / Libro Tapa dura
common.buy 215.29 €
BMT Data Book Reinhold Munker / Libro Tapa blanda
common.buy 145.19 €
Cambridge Companion to the Literature of the American Renaissance EDITED BY CHRISTOPHE / Libro Tapa dura
common.buy 79.49 €
Emily Windsnap and the Falls of Forgotten Island Liz Kessler / Libro Tapa blanda
common.buy 8.89 €
The Scipio Alliance: An Aeon 14 Novel M D Cooper / Libro Tapa blanda
common.buy 15.39 €
A Treatise on the Law of Easements. John Leybourn Goddard / Libro Tapa blanda
common.buy 33.69 €
Prostate and Key Health Issues for Older Men Shaun Dowling / Libro Tapa blanda
common.buy 16.29 €
thistle and the pen; an anthology of modern Scottish writers Eric Linklater / Libro Tapa blanda
common.buy 24.99 €
Crystal Caged Elise Kova / Libro Tapa blanda
common.buy 19.09 €
Letters Written by Eminent Persons in the Seventeenth and Eighteenth Centuries V2 (1813) John Aubrey / Libro Tapa blanda
common.buy 34.79 €
The Unfailing Light: Memoirs of an American Rabbi Bernard Drachman / Libro Tapa dura
common.buy 57.29 €
The Philosophy of the Present in Germany Maud Lyall Patrick / Libro Tapa blanda
common.buy 23.89 €
Hope and the Sea by Magda Portal Portal Magda Portal / Libro Tapa blanda
common.buy 20.99 €
Popular
House in the Cerulean Sea TJ Klune / Libro Tapa blanda
common.buy 9.89 €
Poetical Works of Beha-ed-Din Zoheir of Egypt Palmer Edward H. Palmer / Libro Tapa blanda
common.buy 23.89 €
Be An Interplanetary Spy: Skystalker LEN NEUFELD / Libro Tapa blanda
common.buy 10.39 €
MOTH PRESENTS STAFF OF THE MOTH / Libro Tapa blanda
common.buy 14.19 €
Porsche 912 Targa Hardcover Horst E. Goltz / Libro Tapa dura
common.buy 92.59 €
Ferocious Heart Joseph Asphahani / Libro Tapa dura
common.buy 26.59 €

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?