Bokus
Tommaso Bolognesi, Diego Latella - Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f, Övrigt

Övrigt, Engelska, 2013

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f

Av Tommaso Bolognesi, Diego Latella

667 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning
Produktinformation
  • Utgivningsdatum: 2013-05-22
  • Format: Övrigt
  • Språk: Engelska
  • Antal sidor: 428
  • Förlag: Springer
  • ISBN: 9781475752632
Utforska kategorier
  • Inga kategorier tillgängliga.
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.