Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 09094864
Price: 1135 CZK
Availability: InStock
Author: Gopal Gupta
ISBN: 9783319141244

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta

Ricardo Pe?a

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09094864

Nakladatelství Springer International Publishing AG, prosinec 2014

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Celý popis

Libristo kód: 09094864

114 b

1 135 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M

Brožovaná

315 Kč

Plop. Libro bagno Matt Wolf

Brožovaná

132 Kč

La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa

Brožovaná

505 Kč

Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick

Pevná

366 Kč

Two worlds Jitka Herodesová

Brožovaná

49 Kč

Religie Vroeger En Nu John.G.O. De Koker

Brožovaná

414 Kč

Gauguin, voyage au bout de la peinture Vauday

Brožovaná

653 Kč

O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida

Brožovaná

813 Kč

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. 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.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic-Based Program Synthesis and Transformation

Autor Gopal Gupta, Ricardo Pe?a

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2014

Počet stran 237

EAN 9783319141244

ISBN 3319141244

Libristo kód 09094864

Nakladatelství Springer International Publishing AG

Váha 3869

Rozměry 155 x 235 x 13

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky

Matematika a věda > Matematika > Diskrétní matematika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence