Formal Methods for Executable Software Models: 14th International School on Formal Me... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Formal Methods for Executable Software Models: 14th...

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

(Bog, Paperback / softback, Engelsk)
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

Kompilatorer og fortolkere Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 21-05-2014
Første udgivelsesår 2014
Serie Lecture Notes in Computer Science
Illustrationer 101 Illustrations, black and white; VIII, 343 p. 101 illus.
Fagredaktør Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Originalsprog Switzerland
Sideantal 343
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 343 pages, 101 Illustrations, black and white; VIII, 343 p. 101 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319073163