Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Verified Software. Theories, Tools and Experiments

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

Lingua IngleseInglese
Libro In brossura
Libro Verified Software. Theories, Tools and Experiments Andrew Reynolds
Codice Libristo: 46145388
Casa editrice Springer, Berlin, agosto 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Panda El Perro Magico: Cuidando A Los Animales ER Landron / Libro elettronico Adobe ePub DRM
common.buy 8.29 €
Ein Kuss fur Theseus - Buch mit MP3-Download Annette Weber / Libro In brossura
common.buy 7.09 €
Calisthenics Workout Madness / Libro In brossura
common.buy 20.09 €
Die mittelalterliche und moderne Armbrust Ralph Payne-Gallwey / Libro In brossura
common.buy 42.59 €
Imposto de Renda do Investidor Pierre Lorenzo / Libro In brossura
common.buy 12.79 €
Como os utilizadores e empregados interagem quando desenvolvem um novo produto Louise R?nne / Libro In brossura
common.buy 35.49 €
Memento Experto Tributación en América Latina Lefebvre-El Derecho / Libro In brossura
common.buy 52.39 €
A Certain Magical Index T20 Kazuma Kamachi / Libro In brossura
common.buy 10.49 €
Funko Bitty POP: Spider-Man - Spider-Man 4-pack Gioco/giocattolo Giocattolo
common.buy 16.49 €
Do Jornal à Poética de Maria Teresa Horta Antoniella Devanier Lopes / Libro In brossura
common.buy 46.59 €
Pasaporte a la Dimensión de Los Milagros Raquel Levinstein / Libro In brossura
common.buy 16.49 €
Lehrbuch der Enneagramm-Homoeopathie Detlef Rathmer / Libro In brossura
common.buy 55.89 €
?am ?am ?umi ?umi Ailin Skye / Libro In brossura
common.buy 11.79 €
Masallar Ülkesi Dört Mevsim Kulesi Masallari Ecehan cetin / Libro In brossura
common.buy 7.59 €
Les Pupilles de Tante Bette SOSTA-R / Libro In brossura
common.buy 20.99 €
Alumnado, familias y sistema educativo Cristina Brullet / Libro In brossura
common.buy 10.59 €
Soda: Méthode de français 2 / Libro In brossura
common.buy 35.19 €
Interkulturelle Pädagogik in der DDR Rene Hoffmann / Libro In brossura
common.buy 16.89 €
Cambio climático Andrés Santana Muñoz / Libro In brossura
common.buy 73.59 €
L' Argent Emile Zola / Libro In brossura
common.buy 10.39 €
Zu Wasser und Land: Geschichten aus See und von der fasten Wall Heinrich Smidt / Libro In brossura
common.buy 32.69 €
Das Alkoholverbot in Amerika. Marta Küppersbusch / Libro In brossura
common.buy 58.99 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Verified Software. Theories, Tools and Experiments
Autore Andrew Reynolds, Serdar Tasiran
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2024
Numero di pagine 108
EAN 9783031660634
Codice Libristo 46145388
Casa editrice Springer, Berlin
Peso 195
Dimensioni 155 x 235

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?