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

719 kr

Hoppa över listan

Mer från samma serie

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad

699 kr

Persuasive Technology

Yvonne de Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B.J. Fogg

Häftad

679 kr

Del 16095

Energy Informatics

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

Häftad

2 129 kr

Chromatic Visions

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

Häftad

579 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

  • Nyhet
Del 1

Klanen

Pascal Engman

Pocket

79 kr129 kr