Logics and Analyses for Concurrent Heap-Manipulating Programs: Distinguished Dissertations
Autor Alexey Gotsmanen Limba Engleză Paperback – mar 2011
Din seria Distinguished Dissertations
- 20% Preț: 262.90 lei
- 20% Preț: 514.96 lei
- 20% Preț: 533.98 lei
- 20% Preț: 575.18 lei
- 20% Preț: 564.51 lei
- 20% Preț: 839.34 lei
- 20% Preț: 565.32 lei
- 20% Preț: 553.54 lei
- 20% Preț: 283.19 lei
- 20% Preț: 767.43 lei
- 20% Preț: 550.44 lei
- 20% Preț: 552.44 lei
- 20% Preț: 568.11 lei
- 20% Preț: 547.09 lei
- 20% Preț: 556.90 lei
- 20% Preț: 552.12 lei
- 20% Preț: 551.57 lei
- 20% Preț: 288.82 lei
- 20% Preț: 287.97 lei
- 20% Preț: 283.74 lei
Preț: 264.74 lei
Preț vechi: 330.92 lei
-20%
Puncte Express: 397
Preț estimativ în valută:
50.72€ • 54.94$ • 43.50£
50.72€ • 54.94$ • 43.50£
Carte indisponibilă temporar
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781906124830
ISBN-10: 1906124833
Pagini: 162
Dimensiuni: 210 x 297 x 9 mm
Greutate: 0.41 kg
Ediția:New.
Editura: British Informatics Society Ltd
Seriile Distinguished Dissertations, Distinguished Dissertation
ISBN-10: 1906124833
Pagini: 162
Dimensiuni: 210 x 297 x 9 mm
Greutate: 0.41 kg
Ediția:New.
Editura: British Informatics Society Ltd
Seriile Distinguished Dissertations, Distinguished Dissertation
Descriere
In this dissertation, the author develops modular program logics and program analyses for the verification of concurrent heap-manipulating programs. The approach is to exploit reasoning principles provided by program logics to construct modular program analyses and to use this process to obtain further insights into the logics.