Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642381966
Price: 46.17 EUR
Availability: InStock

Autor: Elvira Albert

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

46.17 €

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International...

Informácie o knihe

Autor

Elvira Albert

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2013

Stránok

245

EAN

9783642381966

ISBN

3642381960

Enbook ID

01663644

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

454

Rozmery

155 x 235 x 15

Kompletný popis

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic-Based Program Synthesis and Transformation

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež