Foundations of Software Science and Computational Structures
Editat de Andrew D. Gordonen Limba Engleză Paperback – 14 mar 2003
Preț: 330.36 lei
Preț vechi: 412.95 lei
-20%
Puncte Express: 496
Carte tipărită la comandă
Livrare economică 18 iulie-01 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540008972
ISBN-10: 3540008977
Pagini: 460
Ilustrații: XII, 444 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.69 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540008977
Pagini: 460
Ilustrații: XII, 444 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.69 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Contemporary Trends in Systems DevelopmentMaung K. Sein-20%Preț: 1242.39 lei1552.99 lei -
Advances in Information Systems Development:Anders G. Nilsson-20%Preț: 1364.35 lei1705.44 lei -
Functional Programming and Input/OutputAndrew D. Gordon-20%Preț: 279.52 lei349.39 lei -
Higher Order Operational Techniques in SemanticsAndrew D. Gordon-20%Preț: 634.92 lei793.65 lei -
Codesign for Real-Time Video ApplicationsJörg Wilberg-20%Preț: 950.72 lei1188.39 lei -
-18%Preț: 1422.96 lei1735.32 lei -
-20%Preț: 958.14 lei1197.68 lei -
The Basics of Line Balancing and JIT KittingBeverly TownsendPreț: 209.66 lei -
Capacity Management in MRP, APS & S&op SoftwareShaun SnappPreț: 328.86 lei -
High Performance ComputingMichela Taufer-20%Preț: 343.68 lei429.60 lei -
Computer Performance EngineeringDieter Fiems-20%Preț: 319.10 lei398.88 lei -
-20%Preț: 316.03 lei395.04 lei -
Tools for High Performance Computing 2016Christoph Niethammer-20%Preț: 616.43 lei770.54 lei -
Performance EngineeringReiner Dumke-20%Preț: 325.63 lei407.04 lei -
Metalevel Architectures and Separation of Crosscutting ConcernsAkinori Yonezawa-20%Preț: 322.16 lei402.70 lei -
Formal Methods: Applications and TechnologyLubos Brim-20%Preț: 326.05 lei407.56 lei -
Programming Languages and SystemsAndrew Gordon-20%Preț: 641.91 lei802.39 lei -
Data-oriented ReengineeringJörg P. Wadsack-20%Preț: 528.92 lei661.14 lei -
InternetwareHong Mei-20%Preț: 646.12 lei807.65 lei
Public țintă
ResearchCuprins
Invited Paper.- A Game Semantics for Generic Polymorphism.- Contributed Papers.- Categories of Containers.- Verification of Probabilistic Systems with Faulty Communication.- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes.- Ambiguous Classes in the Games ?-Calculus Hierarchy.- Parameterized Verification by Probabilistic Abstraction.- Genericity and the ?-Calculus.- Model Checking Lossy Channels Systems Is Probably Decidable.- Verification of Cryptographic Protocols: Tagging Enforces Termination.- A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.- When Ambients Cannot Be Opened.- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time.- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.- Manipulating Trees with Hidden Labels.- The Converse of a Stochastic Relation.- Type Assignment for Intersections and Unions in Call-by-Value Languages.- Cones and Foci for Protocol Verification Revisited.- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.- A Game Semantics of Linearly Used Continuations.- Counting and Equality Constraints for Multitree Automata.- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.- A Monadic Multi-stage Metalanguage.- Multi-level Meta-reasoning with Higher-Order Abstract Syntax.- Abstraction in Reasoning about Higraph-Based Systems.- Deriving Bisimulation Congruences: 2-Categories Vs Precategories.- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the ?Calculus.