Utvidet returrett til 31. januar 2025

Tests and Proofs

- 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Om Tests and Proofs

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030311568
  • Bindende:
  • Paperback
  • Sider:
  • 207
  • Utgitt:
  • 11. september 2019
  • Utgave:
  • 12019
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 454 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse av Tests and Proofs

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions.

Brukervurderinger av Tests and Proofs



Finn lignende bøker
Boken Tests and Proofs finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.