Hoppa till sidans huvudinnehåll

Survey of Verification Techniques for Parallel Programs

Häftad, Engelska, 1985

AvHoward Barringer

329 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum1985-05-01
  • Mått155 x 235 x 8 mm
  • Vikt207 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor120
  • Upplaga1985
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540152392

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Häftad

719 kr

Hoppa över listan

Mer från samma serie

Del 16095

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad

2 089 kr

  • Nyhet

Chromatic Visions

Irina Mihaela Ciortan, Daniele Ferdani, Jon Yngve Hardeberg, Sophia Sotiropoulou, Manuele Veggi

Häftad

569 kr

Hoppa över listan

Du kanske också är intresserad av

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Häftad

719 kr

  • Bokrea
Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr