Del 191 - Lecture Notes in Computer Science
Survey of Verification Techniques for Parallel Programs
Häftad, Engelska, 1985
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