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 and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Yi Li
Codice Libristo: 44230896
Casa editrice Springer, Berlin, novembre 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Descrizione completa
? points 171 b
69.89 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Custo Barcelona (prov.) DALMAU / Libro In brossura
common.buy 19.09 €
Zebra 1 / Libro Foglio
common.buy 28.69 €
En finir avec Pasteur 6e édition - Plus d'un siècle de mystification scientifique Ancelet / Libro In brossura
common.buy 37.79 €
Handbuch der Psychiatrie Band 6 Gerald Caplan / Libro In brossura
common.buy 97.69 €
Décadence und Visualität in drei Romanen Paul Leppins: Daniel Jesus, Severins Gang in die Finsternis und Blaugast Constanze Derham / Libro In brossura
common.buy 30.19 €
K-popowe łowczynie demonów. Nieoficjalna księga zadań Lila Violet / Libro In brossura
common.buy 8.49 €

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

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 and Software Engineering
Autore Yi Li, Sofiène Tahar
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2023
Numero di pagine 282
EAN 9789819975839
Codice Libristo 44230896
Casa editrice Springer, Berlin
Peso 467
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

Enlightenment Behind Bars Theresa Crabtree / Libro In brossura
common.buy 21.99 €
Early Concepts of Military Aviation The Office of Air Force History / Libro In brossura
common.buy 21.89 €
Thunder On the Sea: A Tim Phillips novel Richard Testrake / Libro In brossura
common.buy 11.59 €
Third Revolution Elizabeth Economy / Libro Rigido
common.buy 25.79 €
The Entrepreneur's Trap: How to Stop Working Too Much, Take Back Your Time and Enjoy Life Tina Forsyth / Libro In brossura
common.buy 20.09 €
English Marathi Practice Alphabet ABCD letters with Cartoon Pictures: कार्टून चित्&# Betty Hill / Libro In brossura
common.buy 10.69 €
52 Reasons Why I Love You: Lovely Valentines Day Gift for Him with 52 Reasons for Your Love, Fill in Empty Spaces Wonsky Publishing / Libro In brossura
common.buy 8.79 €
Coloring Book: Let's Cure Cancer Together Aki Ashe / Libro In brossura
common.buy 20.09 €
The Snowshoe Trail (1921) Edison Marshall / Libro In brossura
common.buy 33.69 €
Scottish Secondary Mathematics Red 3 Student Book Tom Sanaghan / Libro In brossura
common.buy 55.79 €
History of Central Asia Anne Davison / Libro In brossura
common.buy 9.79 €
Brief History of the World Harry Sadd / Libro elettronico Adobe ePub DRM
common.buy 4.79 €
OpenShift Multi-Cluster Management Handbook Rafael Pecora / Libro In brossura
common.buy 47.49 €
The Book of Lost Hours GELFUSO HAYLEY / Libro Rigido
common.buy 24.29 €
I migliori
The End of the World as We Know It Brian Keene / Libro Rigido
common.buy 44.09 €
HANDBOOK OF NATURAL PHILOSOPHY, VOLUME 3 DIONYSIUS LARDNER / Libro Rigido
common.buy 44.79 €
Stochastic Population Models James H. Matis / Libro In brossura
common.buy 107.29 €
Massif des Bauges, Parc naturel régional / Pubblicazioni cartacee Mappa
common.buy 13.29 €
Labour-Market Flexibility and Individual Careers Simone R. Kirpal / Libro Rigido
common.buy 107.29 €
Collaborative Design for Embedded Systems John Fitzgerald / Libro Rigido
common.buy 53.79 €
Learning to be Literate Margaret M Clark / Libro In brossura
common.buy 51.09 €
My Weird School Daze #6: Mrs. Jafee Is Daffy! Dan Gutman / Libro In brossura
common.buy 6.59 €
Encyclopedia of Sexually Transmitted Diseases Lisa Marie Moore / Libro In brossura
common.buy 81.49 €
Advances in Medicine & Biology Leon V Berhardt / Libro Rigido
common.buy 278.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?