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 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods Marsha Chechik
Codice Libristo: 42849724
Casa editrice Springer, Berlin, aprile 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Libro In brossura
common.buy 9.29 €
Moins un Joanniez / Libro In brossura
common.buy 11.79 €
Locke & Key Joe Hill / Libro Rigido
common.buy 40.19 €
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Libro In brossura
common.buy 37.29 €
Bonjour Pansori Han / Libro In brossura
common.buy 31.99 €
Trace et disparition Brocchini / Libro In brossura
common.buy 19.79 €
Basics Schallschutz Dominic Kampshoff / Libro In brossura
common.buy 24.59 €
Štedrovečerné rozprávky Miklós Malvina / Libro Rigido
common.buy 5.99 €
Cadena de oro Kolton / Libro In brossura
common.buy 9.79 €
La Ligue de Salut La Gervaisais-N-L-M / Libro In brossura
common.buy 14.19 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. 

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 Formal Methods
Autore Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2023
Numero di pagine 676
EAN 9783031274800
Codice Libristo 42849724
Casa editrice Springer, Berlin
Peso 929
Dimensioni 155 x 235

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
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

Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Libro In brossura
common.buy 24.89 €
Die Closer To Me David Kuhnlein / Libro In brossura
common.buy 16.59 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Libro In brossura
common.buy 16.39 €
Bimladadi's Dream Aurobindo Ghosh / Libro In brossura
common.buy 10.09 €
The Cohort Nathaniel Sizemore / Libro In brossura
common.buy 22.99 €
Leatherface Baroness Orczy / Libro In brossura
common.buy 34.49 €
Accidental Christian SHARON LEE FOLEY / Libro Rigido
common.buy 24.99 €
Fairground Attraction: A debut poetry collection Sally Anne Nash / Libro In brossura
common.buy 9.79 €
I migliori
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Libro In brossura
common.buy 16.39 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Libro Rigido
common.buy 56.29 €
Linear Algebra: Examples And Applications Alain M. Robert / Libro Rigido
common.buy 125.39 €
Economico
Life in Half a Second Matthew Michalewicz / Libro In brossura
common.buy 11.39 €
Taste Your Emotions Damien Marie Athope / Libro In brossura
common.buy 11.89 €
Screen Acting Peter Kramer / Libro In brossura
common.buy 65.89 €
Integrity in Depth John Beebe / Libro In brossura
common.buy 18.89 €

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?