Doprava zdarma se Zásilkovnou nad 1 299 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 02836544
Price: 1542 CZK
Availability: InStock

Moreno Falaschi

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02836544

Nakladatelství Springer International Publishing AG, prosince 2015

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... Celý popis

Libristo kód: 02836544

154 b

1 542 Kč

Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Higher Education

/ Brožovaná

449 Kč

Epicurus Reader Epicurus

/ Pevná

1 103 Kč

Reform without Liberalization Kevin J. O`Brien

/ Pevná

3 270 Kč

Philomela Lena Behmenburg

/ Pevná

7 944 Kč

African Personality and Spirituality Anthony Ephirim-Donkor

/ Pevná

3 485 Kč

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Informace o knize

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

Autor Moreno Falaschi

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2015

Počet stran 385

EAN 9783319274355

ISBN 331927435X

Libristo kód 02836544

Nakladatelství Springer International Publishing AG

Váha 6088

Rozměry 155 x 235 x 25

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í > Programovací techniky

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Objektově orientované programování (OOP)

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

Výpočetní a informační technologie > Operační systémy

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce