Survey of Verification Techniques for Parallel Programs

AvHoward Barringer

Häftad, Engelska, 1985

Del i serien Lecture Notes in Computer Science

260 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utforska kategorier

Innehållsförteckning

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

557 kr

Hoppa över listan

Mer från samma serie

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad

909 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

557 kr

  • 4 för 3
Del 1

Klanen

Pascal Engman

Pocket

89 kr

  • 4 för 3
Del 5

Nattankare

Kristina Ohlsson

Pocket

99 kr

Del 1

Spelet

Elle Kennedy

Pocket
9

89 kr