Recent Trends in Algebraic Development Techniques
Editat de José Luiz Fiadeiro, Pierre-Yves Schobbensen Limba Engleză Paperback – 24 apr 2007
Preț: 316.23 lei
Preț vechi: 395.28 lei
-20%
Puncte Express: 474
Carte tipărită la comandă
Livrare economică 29 iulie-12 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: 9783540719977
ISBN-10: 3540719970
Pagini: 184
Ilustrații: VIII, 174 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:2007
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540719970
Pagini: 184
Ilustrații: VIII, 174 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:2007
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
Software Modeling and DesignHassan Gomaa-20%Preț: 651.70 lei814.63 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! : Pragmatic ProgrammersMicahel Keeling-20%Preț: 251.83 lei314.78 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
Exceptionbehandlung und Synchronisation: Entwurf und MethodeGeorg E. Maier-20%Preț: 407.64 lei509.55 lei -
Recent Trends in Algebraic Development TechniquesJosé Luiz Fiadeiro-20%Preț: 321.56 lei401.94 lei -
-15%Preț: 626.52 lei737.07 lei -
-20%Preț: 345.02 lei431.28 lei -
-20%Preț: 321.66 lei402.08 lei -
Formale Beschreibungstechniken für verteilte SystemeDieter Hogrefe-20%Preț: 458.26 lei572.83 lei -
Entwicklung von AnwendungssystemenMatthias Schumann-20%Preț: 401.49 lei501.86 lei -
Software-Zuverlässigkeit: Grundlagen Konstruktive Maßnahmen NachweisverfahrenVDI-Gemeinschaftsausschuß Industrielle Systemtechnik-20%Preț: 402.04 lei502.55 lei -
Formal Models of AgentsJohn-Jules C. Meyer-20%Preț: 320.50 lei400.63 lei -
Optimierung objektorientierter ProgrammeMartin Trapp-20%Preț: 236.21 lei295.26 lei -
-20%Preț: 240.40 lei300.50 lei
Public țintă
ResearchCuprins
Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Autonomous Units and Their Semantics - The Parallel Case.- Reasoning Support for Casl with Automated Theorem Proving Systems.- Structured CSP – A Process Algebra as an Institution.- Incremental Resolution of Model Inconsistencies.- Coalgebraic Modal Logic in CoCasl.- SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.- A (Co)Algebraic Analysis of Synchronization in CSP.