A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Algebraic Methodology and Software Technology

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Algebraic Methodology and Software Technology José Meseguer
Libristo kód: 01570336
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, július 2008
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Teljes leírás
? points 136 b
20 251 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / E-könyv Adobe ePub DRM
common.buy 16 088 Ft
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Könyv Lap
common.buy 1 435 Ft
Obstetricia, reproducción y ginecología básicas Fernando Bonilla Musoles / Könyv Puha kötésű
common.buy 36 635 Ft
Thomas de Stoomlocomotief - Het mysterie van de Blauwe Bergen Mattel / Hangoskönyv MP3
common.buy 1 431 Ft
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Könyv Puha kötésű
common.buy 23 133 Ft
Educazione indiana Ram Pace / Könyv Puha kötésű
common.buy 7 297 Ft
Madres, avisad a vuestras hijas Bonnie Jo Campbell / E-könyv Adobe ePub DRM
common.buy 5 163 Ft
El gran funeral / Könyv Puha kötésű
common.buy 9 028 Ft
Berlinische im Comic Franz Krober / Könyv Puha kötésű
common.buy 6 388 Ft
Frauen aus Deutschland Achim Seiffarth / Könyv Puha kötésű
common.buy 4 133 Ft
O prasátku Lojzíkovi Pavel Ondrašíkovi / Könyv Kemény kötésű
common.buy 2 685 Ft
Dva a půl muže ve člunu Williams Nigel / Könyv Kemény kötésű
common.buy 3 520 Ft
Olcsón
El poder del metabolismo Frank Suárez / Könyv Puha kötésű
common.buy 7 372 Ft
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Könyv Puha kötésű
common.buy 12 686 Ft
Allegorie als hermeneutisches Mittel am Beispiel der Minnegrotte im 'Tristan' Gottfrieds von Strassburg Stefanie Busch / Könyv Puha kötésű
common.buy 6 388 Ft
Faust I, 3 Audio-CD Johann W. von Goethe / Hanganyagok Audio CD
common.buy 5 355 Ft
Single in the rain (Un canto a la vida en single) LOLA / Könyv Puha kötésű
common.buy 8 568 Ft
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Könyv Kemény kötésű
common.buy 10 773 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Algebraic Methodology and Software Technology
Szerző José Meseguer, Grigore Rosu
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 434
EAN 9783540799795
ISBN 3540799796
Libristo kód 01570336
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 688
Méretek 155 x 235 x 25

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Tournament Solutions and Majority Voting J.-Francois Laslier / Könyv Puha kötésű
common.buy 40 398 Ft
Fencing Paradise Richard Mabey / Könyv Puha kötésű
common.buy 10 491 Ft
Establishing Our Life in Christ Rayola Kelley / Könyv Puha kötésű
common.buy 7 732 Ft
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Könyv Puha kötésű
common.buy 3 001 Ft
Toplistás
Red Tenda of Bologna John Berger / Könyv Puha kötésű
common.buy 1 745 Ft
Civil Disobedience and Other Essays Henry David Thoreau / Könyv Puha kötésű
common.buy 5 463 Ft
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Könyv Puha kötésű
common.buy 6 146 Ft
Yoga for Kids and Their Grown-Ups: 100+ Fun Yoga and Mindfulness Activities to Practice Together Katherine Ghannam / Könyv Puha kötésű
common.buy 5 221 Ft
Introduction To C Programming Sheetal Patil / Könyv Puha kötésű
common.buy 12 686 Ft
Alan Ball: The Man in White Boots David Tossell / Könyv Puha kötésű
common.buy 6 165 Ft
Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR / Könyv Kemény kötésű
common.buy 12 251 Ft
Imaging Biomarkers in Epilepsy Andrea Bernasconi / Könyv Kemény kötésű
common.buy 90 689 Ft
Death on the River Clare Chase / Könyv Puha kötésű
common.buy 4 702 Ft
Reunion London Hale / Könyv Puha kötésű
common.buy 3 431 Ft
Puligny-Montrachet Loftus Simon / Könyv Puha kötésű
common.buy 5 359 Ft
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Könyv Puha kötésű
common.buy 3 060 Ft
Anthology of Magazine Verse for 1913-29 and Yearbook of American Poetry Alain LeRoy Locke / Könyv Puha kötésű
common.buy 8 459 Ft
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Könyv Puha kötésű
common.buy 20 562 Ft
American Independence And The French Revolution (1760-1801) Kenneth Bell / Könyv Puha kötésű
common.buy 4 613 Ft
Allies and Advocates Cabral / Könyv Kemény kötésű
common.buy 6 759 Ft
Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras Vaibhav Verdhan / Könyv Puha kötésű
common.buy 16 923 Ft
All the Summer Girls Meg Donohue / Hangoskönyv MP3
common.buy 4 268 Ft
Games and the Fight: An Untold Story Benny Sinclair / Könyv Puha kötésű
common.buy 6 136 Ft
Financial Mathematics Roman N Makarov / Könyv Puha kötésű
common.buy 33 590 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?