Survey of Verification Techniques for Parallel Programs

AvHoward Barringer

Häftad, Engelska, 1985

Del i serien Lecture Notes in Computer Science

258 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

552 kr

Hoppa över listan

Mer från samma serie

  • Nyhet
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

900 kr

Del 14841

Electronic Government

Marijn Janssen, Joep Crompvoets, J. Ramon Gil-Garcia, Habin Lee, Ida Lindgren, Anastasija Nikiforova, Gabriela Viale Pereira

Häftad

1 487 kr

Del 9820

Electronic Government

Hans Jochen Scholl, Olivier Glassey, Marijn Janssen, Bram Klievink, Ida Lindgren, Peter Parycek, Efthimios Tambouris, Universität Koblenz-Landau, Tomasz Janowski, Delfina Sá Soares

Häftad

536 kr

Del 12219

Electronic Government

Gabriela Viale Pereira, Marijn Janssen, Habin Lee, Ida Lindgren, Manuel Pedro Rodríguez Bolívar, Hans Jochen Scholl, Anneke Zuiderwijk

Häftad

1 314 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

552 kr

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr