Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Th... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Netværkskomponenter
  5. Kompilatorer og fortolkere
  6. Softwareudvikling
  7. Matematisk datateori
  8. Kunstig intelligens
  9. Software Engineering and Formal Methods: 10th International...

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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 Kunstig intelligens Matematisk datateori Netværkskomponenter Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2012 ed.
Udgivelsesdato 28-08-2012
Første udgivelsesår 2012
Serie Programming and Software Engineering
Illustrationer 103 Illustrations, black and white; XIV, 384 p. 103 illus.
Fagredaktør George Eleftherakis, Mike Hinchey, Mike Holcombe
Originalsprog Germany
Sideantal 384
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 384 pages, 103 Illustrations, black and white; XIV, 384 p. 103 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642338250