Springer Nature
Korso: Methods, Languages, And Tools For The Construction Of Correct Software-image

Korso: Methods, Languages, And Tools For The Construction Of Correct Software

Leggi la descrizione completa
Miglior prezzo disponibile
39,99$
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.

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

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Korso: Methods, Languages, And Tools For The Construction Of Correct Software 54,99$ Rigorous Methods For Software Construction And Analysis 54,99$ Software Quality: Methods And Tools For Better Software And Systems 54,99$ Software Technology: Methods And Tools 39,99$ Languages, Design Methods, And Tools For Electronic System Design 84,99$ Software Reuse: Methods, Techniques, And Tools 54,99$ System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0 54,99$