Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 01559466
Price: 51.62 EUR
Availability: InStock
Author: Maurice Bruynooghe
ISBN: 9783540221746

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Maurice Bruynooghe

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01559466

Nakladateľstvo Springer, Berlin, november 2003

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Celý popis

Libristo kód: 01559466

125 b

51.62 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

The Step Forward Years 1977-82 4CD Clamshell Box

Audio CD

57.68 €

Soldati di Salamina Javier Cercas

Brožovaná

26.06 €

Dezentrale Vermögensbildungsfonds. Barbara Toillié

Pevná

63.94 €

Atlas dějin USA Lauric Henneton

Brožovaná

11.51 €

Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn

List

12.72 €

Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen

Brožovaná

16.16 €

Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen

List

4.03 €

Ehe ich mich Traue Joachim Peters

Brožovaná

7.37 €

Charismating - Einkauf als Erlebnis Claudius A. Schmitz

Pevná

40.40 €

Der Kinderkreuzzug Marcel Schwob

Brožovaná

12.32 €

Nuevas Tecnologías y Derechos Humanos Pérez Luño

Brožovaná

28.48 €

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Logic Based Program Synthesis and Transformation

Autor Maurice Bruynooghe

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2004

Počet strán 238

EAN 9783540221746

ISBN 3540221743

Libristo kód 01559466

Nakladateľstvo Springer, Berlin

Váha 380

Rozmery 156 x 234 x 13

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