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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Software Engineering and Formal Methods

Lingua IngleseInglese
Libro In brossura
Libro Software Engineering and Formal Methods Radu Calinescu
Codice Libristo: 38394255
Casa editrice Springer Nature Switzerland AG, dicembre 2021
This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Descrizione completa
? points 210 b
85.89 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Alpenbahnen Berthold Steinhilber / Libro Rigido
common.buy 46.69 €
Nudge. La spinta gentile. La nuova strategia per migliorare le nostre decisioni su denaro, salute, felicità. L'edizione definitiva Richard H. Thaler / Libro In brossura
common.buy 23.49 €
Os escribo a vosotros, jóvenes Giraudo / Libro In brossura
common.buy 5.79 €
Intelligence des limites (L') Tort / Libro In brossura
common.buy 31.99 €
LES TRAJECTOIRES DU POUVOIR DANS UNE COMMUNAUTÉ MAYA K'ICHE DU GUATEMALA Tallet / Libro In brossura
common.buy 30.79 €
Repubblica E Monarchia: A Giuseppe Mazzini Lettera (1865) Francesco Crispi / Libro In brossura
common.buy 21.99 €
Briefe Eines Reisenden Franzosen Uber Deutschland An Seinen Bruder Zu Paris (1784) Johann Kaspar Riesbeck / Libro In brossura
common.buy 37.69 €
Principales parasitosis entero-hepáticas de los rumiantes domésticos José Manuel Martínez Pérez / Libro In brossura
common.buy 37.29 €
Długopis Cristal Original czarny display 50 sztuk Libro binding.
common.buy 24.59 €
The Crown. Season.1, 4 DVDs, 4 DVD-Video Pia Di Ciaula / Video DVD
common.buy 18.49 €
Maruja Mallo : caracola con alas Luisa Antolín Villota / Libro Rigido
common.buy 19.39 €
Die Psalmen II. Psalm 51 - 100 Frank-Lothar Hossfeld / Libro In brossura
common.buy 24.29 €

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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 Software Engineering and Formal Methods
Autore Radu Calinescu
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2021
Numero di pagine 522
EAN 9783030921231
ISBN 3030921239
Codice Libristo 38394255
Casa editrice Springer Nature Switzerland AG
Peso 819
Dimensioni 155 x 235 x 29

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

T.S. Eliot & Salvador Espriu : converging poetic imaginations Dídac Llorens Cubero / Libro In brossura
common.buy 20.29 €
Basket of Deplorables Dennis Carstens / Libro Rigido
common.buy 22.39 €
Three Lancashire Documents of the Fourteenth and Fifteenth Centuries: Comprising I. the Great de Lacy Inquisition, Feb.16, 1311. II. the Survey of 132 John Harland / Libro In brossura
common.buy 18.69 €
Across the Zodiac Percy Greg / Libro In brossura
common.buy 9.39 €
Meals for Your Mediterranean Diet America Best Recipes / Libro In brossura
common.buy 21.19 €
Human Capital and Innovation Sumit Kundu / Libro In brossura
common.buy 88.49 €
Planning Australia's Healthy Built Environments Kent / Libro Rigido
common.buy 215.89 €
In Focus Level 2 Student's Book Naresuan University Thai Edition: A Vocabulary, Reading and Critical Thinking Skills Course Charles Browne / Libro In brossura
common.buy 6.89 €
How Humans Adapt: A Biocultural Odyssey Donald J. Ortner / Libro In brossura
common.buy 40.69 €
Advanced Microsystems for Automotive Applications 2007 Jürgen Valldorf / Libro In brossura
common.buy 157.49 €
Animal Stories Max Evans / Libro In brossura
common.buy 27.29 €
At The Heart Of The Universe Shem / Libro Rigido
common.buy 20.99 €
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Libro Rigido
common.buy 230.59 €
In a Town Called Mundomuerto Randall Silvis / Libro Rigido
common.buy 24.29 €
Under the Gaijin Gaze: Essays on the Education & Attitudes of Japanese College Women Daniel A Metraux / Libro In brossura
common.buy 11.19 €
Howard Barker: Ecstasy and Death David Ian Rabey / Libro Rigido
common.buy 55.49 €
Interatomic Forces in Condensed Matter Mike Finnis / Libro In brossura
common.buy 85.69 €
Self-Portrait Ray Man / Libro In brossura
common.buy 16.89 €
Basic Data of Plasma Physics Sanborn / Libro In brossura
common.buy 128.69 €
Generalissimo Jonathan Fenby / Libro In brossura
common.buy 21.29 €
Time Management System Phd Paul Gerhardt / Libro In brossura
common.buy 14.79 €

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?