A Survey of Verification Techniques for Parallel Programs
Autor Howard Barringeren Limba Engleză Paperback – mai 1985
Preț: 226.64 lei
Preț vechi: 283.29 lei
-20%
Puncte Express: 340
Carte tipărită la comandă
Livrare economică 27 mai-10 iunie
Specificații
ISBN-13: 9783540152392
ISBN-10: 3540152393
Pagini: 128
Ilustrații: VIII, 120 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1985
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540152393
Pagini: 128
Ilustrații: VIII, 120 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1985
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 636.04 lei795.05 lei -
Advances in Temporal LogicHoward Barringer-18%Preț: 913.61 lei1114.15 lei -
KanbanDavid J. Anderson-20%Preț: 249.74 lei312.18 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 470.93 lei511.88 lei -
Professional GitBrent Laster-20%Preț: 248.18 lei310.23 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 460.12 lei575.15 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Preț: 385.19 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It!Michael Keeling-20%Preț: 245.51 lei306.88 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
-20%Preț: 322.29 lei402.86 lei -
Temporal Logic in SpecificationBehnam Banieqbal-20%Preț: 330.36 lei412.95 lei -
Types for Proofs and ProgramsEduardo Gimenez-20%Preț: 326.68 lei408.36 lei -
Co-ordination in Artificial Agent SocietiesSascha Ossowski-20%Preț: 319.10 lei398.88 lei -
Fundamental Approaches to Software EngineeringJean-Pierre Finance-20%Preț: 320.32 lei400.41 lei -
Foundations of Software Science and Computation StructuresWolfgang Thomas-20%Preț: 324.22 lei405.27 lei -
Recent Trends in Algebraic Development TechniquesJose L. Fiadeiro-20%Preț: 325.25 lei406.56 lei -
Software CompositionMarkus Lumpe-20%Preț: 321.94 lei402.43 lei -
Agile Processes in Software Engineering and Extreme ProgrammingPekka Abrahamsson-20%Preț: 320.97 lei401.21 lei -
-20%Preț: 331.62 lei414.53 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.