Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic-Based Program Synthesis and Transformation Gopal Gupta
Kod Libristo: 09094864
Wydawnictwo Springer International Publishing AG, grudzień 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Cały opis
? points 120 b
211.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Książka Miękka
common.buy 58.24 zł
Plop. Libro bagno Matt Wolf / Książka Miękka
common.buy 21.96 zł
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Książka Miękka
common.buy 93.61 zł
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Książka Twarda
common.buy 68.42 zł
Two worlds Jitka Herodesová / Książka Miękka
common.buy 8.25 zł
Religie Vroeger En Nu John.G.O. De Koker / Książka Miękka
common.buy 76.48 zł
Gauguin, voyage au bout de la peinture Vauday / Książka Miękka
common.buy 114.87 zł
O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Książka Miękka
common.buy 151.76 zł

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic-Based Program Synthesis and Transformation
Autor Gopal Gupta, Ricardo Pe?a
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 237
EAN 9783319141244
ISBN 3319141244
Kod Libristo 09094864
Wydawnictwo Springer International Publishing AG
Waga 3869
Wymiary 155 x 235 x 13

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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

Mogłoby Cię także zainteresować

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Książka Twarda
common.buy 1 842.94 zł
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Książka Miękka
common.buy 28.31 zł
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Książka Twarda
common.buy 91.29 zł
Business Basics Berggren Newton Benny Berggren Newton / Książka Miękka
common.buy 94.62 zł
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Książka Miękka
common.buy 82.32 zł
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Książka Miękka
common.buy 162.84 zł
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Książka Miękka
common.buy 159.92 zł
Can I Trust You? Yoram Solomon / Książka Miękka
common.buy 51.48 zł
Gavin's 100 Day Diary K P Lee / Książka Miękka
common.buy 40.10 zł
40 Prayers for Nurses D Duane Engler / Książka Miękka
common.buy 35.56 zł
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Książka Miękka
common.buy 452.57 zł
Around the House Roger Priddy / Książka Twarda
common.buy 35.16 zł
Iron Industry Richard Hayman / Książka Miękka
common.buy 47.15 zł
Grace by Which I Stand Lin Lockamy / Książka Miękka
common.buy 56.83 zł
May I Quote You on That? Stephen Spector / Książka Miękka
common.buy 67.21 zł
Twilight at the Equator Jaime Manrique / Książka Miękka
common.buy 72.65 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?