Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

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ó

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

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

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

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570336
Price: 19922 HUF
Availability: InStock
Author: José Meseguer
ISBN: 9783540799795

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

José Meseguer

Grigore Rosu

Nyelv

Angol

Könyv Puha kötésű

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

Libristo kód: 01570336

136 b

19 922 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

Allegorie als hermeneutisches Mittel am Beispiel der Minnegrotte im 'Tristan' Gottfrieds von Strassburg Stefanie Busch

Puha kötésű

6 278 Ft

Las memorias del Mariscal Soult Zbigniew Guscin

Kemény kötésű

8 272 Ft

La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS

Adobe ePub DRM

15 860 Ft

Berlinische im Comic Franz Krober

Puha kötésű

6 278 Ft

FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL

Puha kötésű

22 152 Ft

O prasátku Lojzíkovi Pavel Ondrašíkovi

Kemény kötésű

2 642 Ft

Faust I, 3 Audio-CD Johann W. von Goethe

Audio CD

5 265 Ft

Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING

Kemény kötésű

9 947 Ft

Single in the rain (Un canto a la vida en single) LOLA

Puha kötésű

8 203 Ft

Frauen aus Deutschland Achim Seiffarth

Puha kötésű

3 960 Ft

Dva a půl muže ve člunu Williams Nigel

Kemény kötésű

3 405 Ft

Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf

Lap

1 277 Ft

Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente

Puha kötésű

12 469 Ft

El poder del metabolismo Frank Suárez

Puha kötésű

10 257 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

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

Puha kötésű

39 729 Ft

Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR

Kemény kötésű

11 738 Ft