Logic-Based Program Synthesis and Transformation: Lecture Notes in Computer Science
Editat de Gopal Gupta, Ricardo Peñaen Limba Engleză Paperback – 22 dec 2014
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 461.83 lei - 20%
Preț: 461.57 lei - 20%
Preț: 424.26 lei - 20%
Preț: 390.69 lei - 20%
Preț: 498.50 lei - 15%
Preț: 388.50 lei - 20%
Preț: 390.35 lei - 20%
Preț: 460.98 lei - 20%
Preț: 461.52 lei - 20%
Preț: 497.55 lei - 20%
Preț: 389.72 lei - 20%
Preț: 461.83 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 391.14 lei - 20%
Preț: 389.85 lei - 20%
Preț: 461.32 lei - 20%
Preț: 498.32 lei - 20%
Preț: 496.64 lei - 20%
Preț: 532.28 lei - 20%
Preț: 527.36 lei - 20%
Preț: 498.46 lei - 15%
Preț: 461.85 lei - 20%
Preț: 390.12 lei - 20%
Preț: 532.41 lei - 20%
Preț: 462.24 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 252.15 lei - 20%
Preț: 390.94 lei - 20%
Preț: 461.52 lei - 20%
Preț: 391.86 lei - 20%
Preț: 532.54 lei - 20%
Preț: 462.67 lei - 20%
Preț: 461.65 lei - 20%
Preț: 639.72 lei - 20%
Preț: 255.91 lei - 15%
Preț: 535.92 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 499.36 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.20 lei - 20%
Preț: 249.95 lei
Preț: 318.73 lei
Preț vechi: 398.41 lei
-20% Nou
Puncte Express: 478
Preț estimativ în valută:
56.40€ • 66.22$ • 49.50£
56.40€ • 66.22$ • 49.50£
Carte tipărită la comandă
Livrare economică 27 ianuarie-10 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319141244
ISBN-10: 3319141244
Pagini: 252
Ilustrații: XII, 237 p. 51 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2014
Editura: Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3319141244
Pagini: 252
Ilustrații: XII, 237 p. 51 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2014
Editura: Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Multiprocessor Execution of Logic ProgramsGopal Gupta-20%Preț: 953.08 lei1191.35 lei -
Client-Centered Software Development: The CO-FOSS ApproachAllen B. Tucker-34%Preț: 486.93 lei739.22 lei -
-20%Preț: 385.96 lei482.45 lei -
Hadoop Practice Guide: SQOOP, PIG, HIVE, HBASE for BeginnersJisha Mariam Jose-20%Preț: 85.93 lei107.40 lei -
The Beginner's Guide to CEric R Frick-20%Preț: 81.97 lei102.46 lei -
ELEMENTARY APPROACH TO DESIGN AND ANALYSIS OF ALGORITHMS, ANVermani Lekh Raj-20%Preț: 681.72 lei852.15 lei -
Advanced TypeScript Programming ProjectsPeter O'Hanlon-20%Preț: 243.17 lei303.96 lei -
Hands-On Design Patterns with C# and .NET CoreGaurav Aroraa-20%Preț: 214.10 lei267.62 lei -
Go Programming Cookbook - Second EditionAaron Torres-20%Preț: 244.10 lei305.13 lei -
Data Science with PythonRohan Chopra-20%Preț: 214.90 lei268.62 lei -
Dark PsychologyClark John-20%Preț: 84.00 lei105.01 lei -
-20%Preț: 259.19 lei323.98 lei -
-20%Preț: 328.16 lei410.20 lei -
Algebra, Meaning, and ComputationKokichi Futatsugi-20%Preț: 642.36 lei802.94 lei -
Logic Based Program Synthesis and TransformationM. Leuschel-20%Preț: 320.97 lei401.21 lei -
-20%Preț: 327.84 lei409.80 lei -
-20%Preț: 319.13 lei398.90 lei -
-20%Preț: 329.25 lei411.55 lei -
-20%Preț: 326.87 lei408.59 lei -
-20%Preț: 329.60 lei412.00 lei -
-20%Preț: 322.93 lei403.66 lei -
-20%Preț: 333.06 lei416.32 lei -
Formal and Natural ComputingWilfried Brauer-20%Preț: 330.15 lei412.69 lei -
-20%Preț: 315.80 lei394.74 lei -
Practical Aspects of Declarative LanguagesGopal Gupta-20%Preț: 325.47 lei406.84 lei -
-20%Preț: 321.81 lei402.26 lei -
Trends in Functional ProgrammingRicardo Peña-20%Preț: 409.51 lei511.89 lei -
-20%Preț: 286.49 lei358.12 lei -
-20%Preț: 321.03 lei401.30 lei
Public țintă
ResearchCuprins
Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.
Textul de pe ultima copertă
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Caracteristici
Includes supplementary material: sn.pub/extras