Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, O... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Kunstig intelligens
  6. Algoritmer og datastrukturer
  7. Kompilatorer og fortolkere
  8. Softwareudvikling
  9. Formal Methods – The Next 30 Years: Third World Congress, FM...

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

(Bog, Paperback / softback, Engelsk)
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2019 ed.
Udgivelsesdato 15-09-2019
Første udgivelsesår 2019
Serie Lecture Notes in Computer Science
Illustrationer 92 Illustrations, color; 1596 Illustrations, black and white
Fagredaktør Maurice H. ter Beek, Annabelle McIver, Jose N. Oliveira
Originalsprog Switzerland
Sideantal 774
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 774 pages, 92 Illustrations, color; 1596 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030309411