Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, T... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Informationsteknologi: generelle emner
  8. Operativsystemer
  9. Formal Methods for Components and Objects: 10th International...

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

(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

Informationsteknologi: generelle emner Kompilatorer og fortolkere Matematisk datateori Operativsystemer Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2013 ed.
Udgivelsesdato 03-01-2013
Første udgivelsesår 2013
Serie Programming and Software Engineering
Illustrationer 129 Illustrations, black and white; X, 356 p. 129 illus.
Fagredaktør Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
Originalsprog Germany
Sideantal 356
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 356 pages, 129 Illustrations, black and white; X, 356 p. 129 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642358869