0 Mėgstami
0Krepšelis

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

710,80 
710,80 
2025-07-31 710.8000 InStock
Nemokamas pristatymas į paštomatus per 18-22 darbo dienų užsakymams nuo 19,00 

Informacija

Autorius: Willem-Paul de Roever, Frank de Boer, Jozef Hooman,
Leidėjas: Cambridge University Press
Išleidimo metai: 2011
Knygos puslapių skaičius: 800
ISBN-10: 0521806089
ISBN-13: 9780521806084
Formatas: Knyga kietu viršeliu
Kalba: Anglų
Žanras: Distributed systems / Distributed computing

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Concurrency Verification: Introduction to Compositional and Non-Compositional Methods“

Būtina įvertinti prekę

Goodreads reviews for „Concurrency Verification: Introduction to Compositional and Non-Compositional Methods“