phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Logic-Based Program Synthesis and Transformation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic-Based Program Synthesis and Transformation Germán Puebla
Libristo kód: 01568318
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2007
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Celý popis
? points 154 b
61.51 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Stara miłość Sándor Márai / binding.
common.buy 10.70 €
Climate Change and the Media Benedetta Brevini / Pevná
common.buy 164.65 €
The History of the Studebaker Corporation Albert Erskine / Brožovaná
common.buy 35.25 €
Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Brožovaná
common.buy 43.02 €
Once Upon A Nightmare William F Lee / Pevná
common.buy 29.08 €
Juana Honore de Balzac / Brožovaná
common.buy 23.43 €
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Brožovaná
common.buy 43.63 €
Punto Piu Vicino Al Cielo Duilio Chiarle / Brožovaná
common.buy 12.01 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Informácie o knihe

Celý názov Logic-Based Program Synthesis and Transformation
Autor Germán Puebla
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2007
Počet strán 240
EAN 9783540714095
ISBN 354071409X
Libristo kód 01568318
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 790
Rozmery 155 x 235 x 17

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet