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 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Algebraic Methodology and Software Technology

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Algebraic Methodology and Software Technology José Meseguer
Kod Libristo: 01570336
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2008
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Cały opis
? points 125 b
223.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Allegorie als hermeneutisches Mittel am Beispiel der Minnegrotte im 'Tristan' Gottfrieds von Strassburg Stefanie Busch / Książka Miękka
common.buy 70.10 zł
Las memorias del Mariscal Soult Zbigniew Guscin / Książka Twarda
common.buy 92.65 zł
La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / E-book Adobe ePub DRM
common.buy 175.68 zł
Berlinische im Comic Franz Krober / Książka Miękka
common.buy 70.10 zł
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Książka Miękka
common.buy 247.23 zł
O prasátku Lojzíkovi Pavel Ondrašíkovi / Książka Twarda
common.buy 30.95 zł
Faust I, 3 Audio-CD Johann W. von Goethe / Audio CD Audio
common.buy 58.72 zł
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Książka Twarda
common.buy 112.54 zł
Single in the rain (Un canto a la vida en single) LOLA / Książka Miękka
common.buy 93.88 zł
Frauen aus Deutschland Achim Seiffarth / Książka Miękka
common.buy 44.68 zł
Dva a půl muže ve člunu Williams Nigel / Książka Twarda
common.buy 42.22 zł
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Książka Karta
common.buy 14.34 zł
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Książka Miękka
common.buy 138.99 zł
TOP
El poder del metabolismo Frank Suárez / Książka Miękka
common.buy 114.69 zł

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.§The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

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 Algebraic Methodology and Software Technology
Autor José Meseguer, Grigore Rosu
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 434
EAN 9783540799795
ISBN 3540799796
Kod Libristo 01570336
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 688
Wymiary 155 x 235 x 25

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Tournament Solutions and Majority Voting J.-Francois Laslier / Książka Miękka
common.buy 445.89 zł
Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR / Książka Twarda
common.buy 132.94 zł
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Książka Twarda
common.buy 116.44 zł
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Książka Miękka
common.buy 32.59 zł
Reunion London Hale / Książka Miękka
common.buy 36.48 zł
Civil Disobedience and Other Essays Henry David Thoreau / Książka Miękka
common.buy 59.44 zł
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Książka Miękka
common.buy 68.16 zł
Yoga for Kids and Their Grown-Ups: 100+ Fun Yoga and Mindfulness Activities to Practice Together Katherine Ghannam / Książka Miękka
common.buy 55.65 zł
Introduction To C Programming Sheetal Patil / Książka Miękka
common.buy 138.99 zł
Alan Ball: The Man in White Boots David Tossell / Książka Miękka
common.buy 69.39 zł
Establishing Our Life in Christ Rayola Kelley / Książka Miękka
common.buy 83.53 zł
Death on the River Clare Chase / Książka Miękka
common.buy 50.93 zł
Puligny-Montrachet Loftus Simon / Książka Miękka
common.buy 60.26 zł
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Książka Miękka
common.buy 33.10 zł
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Książka Miękka
common.buy 285.06 zł
American Independence And The French Revolution (1760-1801) Kenneth Bell / Książka Miękka
common.buy 51.14 zł
Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras Vaibhav Verdhan / Książka Miękka
common.buy 179.58 zł
All the Summer Girls Meg Donohue / Audiobook MP3
common.buy 51.65 zł
Keep me as the apple of the eye / Prasa Nuty
common.buy 22.13 zł
Pain to Peace J. Young / Książka Miękka
common.buy 42.94 zł
Kingdom Encounters Ridley Hall / Książka Miękka
common.buy 41.81 zł
English in Mind Levels 3A and 3B Combo Teacher's Resource Book Brian Hart / Książka Pierścieniowa
common.buy 271.63 zł
Algebraic Methodology and Software Technology Michael Johnson / Książka Miękka
common.buy 490.27 zł
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Książka Twarda
common.buy 414.42 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?