Model Checking of Software Systems under Weak Memory Models; Tuan-Phong Ngo; 2019
Model Checking of Software Systems under Weak Memory Models; Tuan-Phong Ngo; 2019

Model Checking of Software Systems under Weak Memory ModelsUpplaga 6

av Tuan-Phong Ngo

  • Upplaga: 6e upplagan
  • Utgiven: 2019
  • ISBN: 9789151305066
  • Förlag: Acta Universitatis Upsaliensis
  • Språk: Engelska

Om boken

2019 släpptes boken Model Checking of Software Systems under Weak Memory Models skriven av Tuan-Phong Ngo. Det är den 6e upplagan av kursboken. Den är skriven på engelska. Förlaget bakom boken är Acta Universitatis Upsaliensis.

Köp boken Model Checking of Software Systems under Weak Memory Models på Studentapan och spara pengar.

Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker

Tillhör kategorierna

ÖvrigtÖvrigt

Referera till Model Checking of Software Systems under Weak Memory Models (Upplaga 6)

Harvard

Ngo, T.-P. (2019). Model Checking of Software Systems under Weak Memory Models. 6:e uppl. Acta Universitatis Upsaliensis.

Oxford

Ngo, Tuan-Phong, Model Checking of Software Systems under Weak Memory Models, 6 uppl. (Acta Universitatis Upsaliensis, 2019).

APA

Ngo, T.-P. (2019). Model Checking of Software Systems under Weak Memory Models (6:e uppl.). Acta Universitatis Upsaliensis.

Vancouver

Ngo TP. Model Checking of Software Systems under Weak Memory Models. 6:e uppl. Acta Universitatis Upsaliensis; 2019.

Köp boken

Begagnad

Tillfälligt slut

Helt ny

Tillfälligt slut

Tillfälligt slut

Varje vecka tillkommer tusentals nya säljare på Studentapan. Bevaka boken så får du meddelande när den finns tillgänglig igen.