Springer Nature
Leveraging Applications Of Formal Methods, Verification And Validation. Practice-image

Leveraging Applications Of Formal Methods, Verification And Validation. Practice

Leggi la descrizione completa
Miglior prezzo disponibile
69,99$
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Storico prezzi

Ricevi una notifica se il prezzo scende

Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.

  • Aggiornamenti dei prezzi in tempo reale
  • Oltre 50 negozi monitorati
  • Avvisi gratuiti di calo prezzo
  • Solo negozi verificati

Avvisami quando il prezzo scende sotto: 69,99$

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Leveraging Applications Of Formal Methods, Verification And Validation. Practice 54,99$ Leveraging Applications Of Formal Methods, Verification And Validation. Industrial Practice 54,99$ Leveraging Applications Of Formal Methods, Verification And Validation 39,99$ Leveraging Applications Of Formal Methods, Verification And Validation. Verification 54,99$ Leveraging Applications Of Formal Methods, Verification, And Validation 54,99$ Leveraging Applications Of Formal Methods, Verification And Validation. Verification Principles 99,99$ Leveraging Applications Of Formal Methods, Verification And Validation: Applications 54,99$ Leveraging Applications Of Formal Methods, Verification And Validation. Modeling 54,99$