Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occas... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Algoritmer og datastrukturer
  9. Theory and Practice of Formal Methods: Essays Dedicated to...

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

(Bog, Paperback / softback, Engelsk)
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Forlag: Springer International Publishing 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 Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2016
Udgivelsesdato 13-03-2016
Første udgivelsesår 2016
Serie Theoretical Computer Science and General Issues
Illustrationer 112 Illustrations, color; XII, 427 p. 112 illus. in color.
Fagredaktør Erika Abraham, Marcello Bonsangue, Einar Broch Johnsen
Originalsprog Switzerland
Sideantal 427
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 427 pages, 112 Illustrations, color; XII, 427 p. 112 illus. in color.
Mål 235 x 155
ISBN-13 / EAN-13 9783319307336