Hoppa till sidans huvudinnehåll

Del i serien Lecture Notes in Computer Science

Survey of Verification Techniques for Parallel Programs

Häftad, Engelska, 1985

AvHoward Barringer

339 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, 2010

729 kr

Hoppa över listan

Mer från samma serie

Chatbots and Human-Centered AI

Asbjørn Følstad, Sebastian Hobert, Symeon Papadopoulos, Effie Lai-Chong Law, Theo Araujo, Ewa Luger, Petter Bae Brandtzaeg

Häftad, 2026

1 219 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

709 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, 2010

729 kr

  • Nyhet
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket, 2026

79 kr129 kr