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 Kung-Kiu Lau
Libristo kód: 01563497
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Celý popis
? points 154 b
62.55 €
Skladom u dodávateľa v malom množstve Odosielame za 10-15 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Ergotherapie Wolfgang Presber / Pevná
common.buy 41.18 €
Recollections of a Long Life John Cam HobhouseCharlotte Hobhouse Carleton / Brožovaná
common.buy 66.86 €
bikeline MountainBikeGuide Allgäu / Krúžková
common.buy 19.61 €
Forests in a Market Economy Erin O. Sills / Pevná
common.buy 244.98 €
Language in Use - The pragmatically term politeness in reference to the serial Friends Jessica Narloch / Brožovaná
common.buy 46.11 €
Terrateer in Training Alexandra Quast / Brožovaná
common.buy 12.73 €
Increasing Climate Variability and Change James Salinger / Pevná
common.buy 189.71 €
International Topical Conference on Plasma Science Padma K. Shukla / Pevná
common.buy 148.11 €

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Informácie o knihe

Celý názov Logic Based Program Synthesis and Transformation
Autor Kung-Kiu Lau
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2001
Počet strán 188
EAN 9783540421276
ISBN 3540421270
Libristo kód 01563497
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 306
Rozmery 155 x 235 x 11

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 > Objektovo orientované programovanie (OOP)
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