Survey of Verification Techniques for Parallel Programs

AvHoward Barringer

Häftad, Engelska, 1985

Del i serien Lecture Notes in Computer Science

259 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

556 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

907 kr

Del 13476

Serious Games

Heinrich Söbke, Pia Spangenberger, Philipp Müller, Stefan Göbel

Häftad

775 kr

Del 8850

Ambient Intelligence

Emile Aarts, Boris de Ruyter, Panos Markopoulos, Evert van Loenen, Reiner Wichert, Ben Schouten, Jacques Terken, Rob Van Kranenburg, Elke Den Ouden, Gregory O'Hare

Häftad

556 kr

Del 11845

Advances in Visual Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Daniela Ushizima, Sek Chai, Shinjiro Sueda, Xin Lin, Aidong Lu, Daniel Thalmann, Chaoli Wang, Panpan Xu

Häftad

907 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

556 kr

  • 4 för 3

Systrarna

Jonas Hassen Khemiri

Pocket

99 kr

  • -22%
Del 2

Snedsteget

Elle Kennedy

Pocket
8

69 kr89 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket
10

69 kr89 kr