A Survey of Verification Techniques for Parallel Programs: Lecture Notes in Computer Science, cartea 191
Autor Howard Barringeren Limba Engleză Paperback – mai 1985
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1061.55 lei - 20%
Preț: 307.71 lei - 20%
Preț: 438.69 lei - 20%
Preț: 645.28 lei -
Preț: 410.88 lei - 15%
Preț: 580.46 lei - 17%
Preț: 427.22 lei - 20%
Preț: 596.46 lei -
Preț: 449.57 lei - 20%
Preț: 353.50 lei - 20%
Preț: 1414.79 lei - 20%
Preț: 309.90 lei - 20%
Preț: 583.40 lei - 20%
Preț: 1075.26 lei - 20%
Preț: 310.26 lei - 20%
Preț: 655.02 lei - 20%
Preț: 580.93 lei - 20%
Preț: 340.32 lei - 18%
Preț: 938.83 lei - 20%
Preț: 591.51 lei - 15%
Preț: 438.59 lei - 20%
Preț: 337.00 lei -
Preț: 389.48 lei - 20%
Preț: 607.39 lei - 20%
Preț: 1024.44 lei - 20%
Preț: 579.30 lei - 20%
Preț: 763.23 lei - 20%
Preț: 453.32 lei - 20%
Preț: 575.48 lei - 20%
Preț: 585.88 lei - 20%
Preț: 825.93 lei - 20%
Preț: 763.23 lei - 17%
Preț: 360.19 lei - 20%
Preț: 1183.14 lei - 20%
Preț: 340.32 lei - 20%
Preț: 504.57 lei - 20%
Preț: 369.12 lei - 20%
Preț: 583.40 lei - 20%
Preț: 343.62 lei - 20%
Preț: 350.21 lei - 20%
Preț: 764.89 lei - 20%
Preț: 583.40 lei - 20%
Preț: 649.49 lei - 20%
Preț: 341.95 lei - 20%
Preț: 238.01 lei - 20%
Preț: 538.29 lei
Preț: 234.57 lei
Preț vechi: 293.21 lei
-20% Nou
Puncte Express: 352
Preț estimativ în valută:
44.88€ • 46.99$ • 37.14£
44.88€ • 46.99$ • 37.14£
Carte tipărită la comandă
Livrare economică 05-19 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540152392
ISBN-10: 3540152393
Pagini: 128
Ilustrații: VIII, 120 p.
Dimensiuni: 155 x 235 x 7 mm
Greutate: 0.19 kg
Ediția:1985
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540152393
Pagini: 128
Ilustrații: VIII, 120 p.
Dimensiuni: 155 x 235 x 7 mm
Greutate: 0.19 kg
Ediția:1985
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 703.33 lei963.47 lei -
-20%Preț: 629.36 lei786.70 lei -
Advances in Temporal LogicHoward Barringer-18%Preț: 959.98 lei1170.71 lei -
KanbanDavid J. Anderson-20%Preț: 260.15 lei325.19 lei -
The Human Side of AgileGil BrozaPreț: 269.04 lei -
-8%Preț: 488.66 lei531.15 lei -
Professional GitB LasterPreț: 268.56 lei -
Python Algorithms: Mastering Basic Algorithms in the Python LanguageMagnus Lie Hetland-20%Preț: 476.65 lei595.81 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 488.29 lei610.37 lei -
Head First AgileAndrew Stellman-20%Preț: 300.89 lei376.11 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 308.72 lei385.91 lei -
Design It!Micahel Keeling-20%Preț: 196.67 lei245.84 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 381.92 lei477.39 lei -
-20%Preț: 335.03 lei418.79 lei -
-20%Preț: 340.49 lei425.62 lei -
-20%Preț: 336.86 lei421.08 lei -
-20%Preț: 329.76 lei412.21 lei -
-20%Preț: 330.75 lei413.44 lei -
-20%Preț: 345.91 lei432.39 lei -
-20%Preț: 335.52 lei419.39 lei -
-20%Preț: 333.40 lei416.75 lei -
-20%Preț: 333.72 lei417.15 lei -
-20%Preț: 344.76 lei430.94 lei
Public țintă
ResearchCuprins
Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.