1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Kompilatorer og fortolkere
  6. Softwareudvikling
  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

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
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
Mål 235 x 155
ISBN-13 / EAN-13 9783319073163