phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Logic Based Program Synthesis and Transformation

Język AngielskiAngielski
Książka Miękka
Książka Logic Based Program Synthesis and Transformation M. Leuschel
Kod Libristo: 01562768
Wydawnictwo Springer, Berlin, listopad 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Cały opis
? points 154 b
262.48 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler / Twarda
common.buy 99.02 zł
Let the Old Dreams Die John Ajvide Lindqvist / Miękka
common.buy 47.01 zł
Keynes Robert Skidelsky / Miękka
common.buy 51.51 zł
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Twarda
common.buy 92.02 zł
Practical Simulation in Urology Chandra Shekhar Biyani / Twarda
common.buy 1 046.35 zł
Benjamín Solari Parravicini Zerpa / Miękka
common.buy 51.01 zł
Mariko Mori Vicky Hayward / Karta
common.buy 270.68 zł
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Miękka
common.buy 37.20 zł
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Miękka
common.buy 29.50 zł
Principles of Accounts for CSEC (R) Examinations 3rd Edition Student's Book Gaynelle Holdip / Miękka
common.buy 101.43 zł
Benjamin Britten Benjamin Britten / Miękka
common.buy 50.31 zł
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Twarda
common.buy 517.77 zł
Modern Construction Envelopes Andrew Watts / Twarda
common.buy 444.44 zł
Max Beckmann / Twarda
common.buy 330.20 zł
Specimen Sight-Singing Tests, Grades 6-8 ABRSM / Nuty
common.buy 54.91 zł
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) / Miękka
common.buy 34.80 zł

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

Informacje o książce

Pełna nazwa Logic Based Program Synthesis and Transformation
Autor M. Leuschel
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 279
EAN 9783540404385
ISBN 3540404384
Kod Libristo 01562768
Wydawnictwo Springer, Berlin
Waga 417
Wymiary 155 x 235 x 15

Kategoria

Publikacje dla dzieci i młodzieży, edukacja > Materiały edukacyjne > Edukacja – matematyka, nauki ścisłe i technika > Edukacja – nauka i nauki przyrodnicze
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo