Springer Nature
Formal Methods – The Next 30 Years-image

Formal Methods – The Next 30 Years

Leggi la descrizione completa
Miglior prezzo disponibile
54,99$
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.

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: 54,99$

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Formal Methods – The Next 30 Years 39,99$ Formal Methods – Fun For Everybody 54,99$ Prolog: The Next 50 Years 55,99$ Systems Development Methods For The Next Century 54,99$ The Political Economy Of Eastern Europe 30 Years Into The ‘Transition’ 129,99$ Europe — Toward The Next Enlargement 109,99$ Hospital Information Systems — The Next Generation 109,99$ The Next Twenty-Five Years Of Public Choice 54,99$