Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Data og informasjonsteknologi/Programmering

Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

2017, Heftet, Engelsk
Formal Methods: Foundations and Applications

749,-

På fjernlager – sendes innen 6-10 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.

Produktegenskaper

  • Bidragsyter

    Jose Fiadeiro (Redaktør)

  • Forlag/utgiver

    Springer International Publishing AG

  • Format

    Heftet

  • Språk

    Engelsk

  • Utgivelsesår

    2017

  • Antall sider

    305

  • Serienavn

    Lecture Notes in Computer Science

  • EAN

    9783319708478

Kundeanmeldelser

Frakt og levering

Alle bøkene i serien