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.

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Codice Libristo: 38504817
Casa editrice Springer Nature Switzerland AG, gennaio 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Descrizione completa
? points 236 b
96.59 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Libro In brossura
common.buy 8.79 €
Lo que debe saber todo buen republicano Anónimo / Libro In brossura
common.buy 15.69 €
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Libro In brossura
common.buy 15.99 €
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Libro Rigido
common.buy 72.59 €
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Libro In brossura
common.buy 19.99 €
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Libro Rigido
common.buy 53.39 €
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Libro Rigido
common.buy 62.59 €
Der tolle Bomberg, 1 DVD Rolf Thiele / Video DVD
common.buy 22.59 €
Le préfet et les collectivités Sut / Libro In brossura
common.buy 84.39 €

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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 Verification, Model Checking, and Abstract Interpretation
Autore Bernd Finkbeiner, Thomas Wies
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2022
Numero di pagine 520
EAN 9783030945824
Codice Libristo 38504817
Casa editrice Springer Nature Switzerland AG
Peso 807
Dimensioni 155 x 235 x 29

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori
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

Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Libro Rigido
common.buy 160.89 €
I migliori
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Libro In brossura
common.buy 16.49 €
Joy of Basketball Andrew Kuo / Libro Rigido
common.buy 38.09 €
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Libro In brossura
common.buy 25.69 €
Zombies vs. Robots 2 Joe Cautilli / Libro In brossura
common.buy 16.39 €
STORY OF THE 2ND WW Henry Steele Commager / Libro In brossura
common.buy 18.09 €
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Libro In brossura
common.buy 12.09 €
Neufs Vies Du Chat Montezuma Michael Morpurgo / Libro In brossura
common.buy 9.59 €

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?