top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Autore Johnsen Einar Broch
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2022
Descrizione fisica 1 online resource (xiv, 347 pages) : illustrations
Altri autori (Persone) JohnsenEinar Broch
WimmerManuel
Collana Lecture notes in computer science
Soggetto topico Software engineering
Soggetto non controllato architecture verification and validation
distributed computer systems
embedded systems
empirical software validation
formal methods
model checking
model-driven software engineering
object-oriented programming
program analysis
software performance
software quality
software testing and debugging
ISBN 3-030-99429-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910555236603321
Johnsen Einar Broch  
Cham, : Springer International Publishing AG, 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
Autore Johnsen Einar Broch
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2022
Descrizione fisica 1 online resource (xiv, 347 pages) : illustrations
Altri autori (Persone) JohnsenEinar Broch
WimmerManuel
Collana Lecture notes in computer science
Soggetto topico Software engineering
Soggetto non controllato architecture verification and validation
distributed computer systems
embedded systems
empirical software validation
formal methods
model checking
model-driven software engineering
object-oriented programming
program analysis
software performance
software quality
software testing and debugging
ISBN 3-030-99429-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996464553503316
Johnsen Einar Broch  
Cham, : Springer International Publishing AG, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui