Recent Trends in Algebraic Development Techniques
Editat de José Luiz Fiadeiro, Peter Mosses, Fernando Orejasen Limba Engleză Paperback – 23 mar 2005
Preț: 321.56 lei
Preț vechi: 401.94 lei
-20%
Puncte Express: 482
Carte tipărită la comandă
Livrare economică 07-21 iulie
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: 9783540253273
ISBN-10: 3540253270
Pagini: 288
Ilustrații: VIII, 280 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540253270
Pagini: 288
Ilustrații: VIII, 280 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 642.55 lei803.18 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 478.98 lei520.62 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 468.00 lei584.99 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Head First AgileAndrew Stellman-20%Preț: 337.90 lei422.37 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It!Michael Keeling-20%Preț: 250.02 lei312.52 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
Theory and Practice of Model TransformationsPieter van Gorp-20%Preț: 318.27 lei397.84 lei -
Architectural DesignChris A. Vissers-20%Preț: 333.74 lei417.18 lei -
Software Architecture in ActionFlavio Oquendo-20%Preț: 294.33 lei367.91 lei -
Runtime VerificationYliès Falcone-20%Preț: 334.25 lei417.82 lei -
-20%Preț: 324.41 lei405.51 lei -
Formal Methods and Software EngineeringKazuhiro Ogata-20%Preț: 332.81 lei416.02 lei -
Formal Methods in Software and Systems ModelingHans-Jörg Kreowski-20%Preț: 329.74 lei412.17 lei -
Automata, Languages and ProgrammingFernando Orejas-20%Preț: 363.30 lei454.12 lei -
-20%Preț: 327.69 lei409.62 lei -
-20%Preț: 327.48 lei409.36 lei -
Recent Trends in Data Type SpecificationHartmut Ehrig-20%Preț: 325.44 lei406.80 lei -
-20%Preț: 332.39 lei415.48 lei -
-20%Preț: 329.74 lei412.17 lei -
-20%Preț: 324.22 lei405.27 lei
Public țintă
ResearchCuprins
Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures.- Contributed Papers.- Modelling Mobility with Petri Hypernets.- Cryptomorphisms at Work.- Towards a Formal Specification of an Electronic Payment System in CSP-CASL.- Algebraic Semantics of Design Abstractions for Context-Awareness.- CCC – The Casl Consistency Checker.- Ontologies for the Semantic Web in Casl.- Theoroidal Maps as Algebraic Simulations.- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.- A Simple Refinement Language for Casl.- A Distributed and Mobile Component System Based on the Ambient Calculus.- Application and Formal Specification of Sorted Term-Position Algebras.- From Conditional to Unconditional Rewriting.- Type Class Polymorphism in an Institutional Framework.- Architectural Specifications for Reactive Systems.