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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561746
Price: 1352 CZK
Availability: InStock
Author: Patricia M. Hill
ISBN: 9783540326540

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Patricia M. Hill

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01561746

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2006

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Celý popis

Libristo kód: 01561746

135 b

1 352 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg

Brožovaná

437 Kč

Le Grand Atlas géographique du monde 6e ed

Pevná

1 582 Kč

Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre

MP3

96 Kč

D.N. Angel Pearls 2 Yukiru Sugisaki

Brožovaná

249 Kč

Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui

Brožovaná

1 115 Kč

VILLANUEVA DE CASTRO

Brožovaná

522 Kč

Goodbye Istanbul Esmahan Aykol

Brožovaná

360 Kč

Der Europäische Sozialstaat und seine Institutionen. Detlef Merten

Brožovaná

1 507 Kč

DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter

Brožovaná

389 Kč

Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F

Brožovaná

651 Kč

Im Herzland Günther Dellbrügger

Pevná

512 Kč

Die Idee der Bibliothek und ihre Zukunft Michael Knoche

Pevná

410 Kč

Bluchertrompete Ludwig Salomon

Brožovaná

206 Kč

Faust Johann Wolfgang von Goethe

Brožovaná

529 Kč

Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J

Brožovaná

315 Kč

Documentos postúmos del Club Pickwick Charles Dickens

Brožovaná

293 Kč

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

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 Patricia M. Hill

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2006

Počet stran 182

EAN 9783540326540

ISBN 3540326545

Libristo kód 01561746

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 630

Rozměry 155 x 235 x 20

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ů

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 > Počítačové programování/softwarové inženýrství