phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Algebraic Methodology and Software Technology

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Algebraic Methodology and Software Technology Maurice Nivat
Libristo kód: 05274595
Kiadó Springer, Berlin, november 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Teljes leírás
? points 304 b
48 749 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Computational Mechanics 95, 4 S.N. Atluri / Puha kötésű
common.buy 43 727 Ft
Rauch, 2 DVDs Iwan S. Turgenjew / DVD
common.buy 7 296 Ft
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Könyv
common.buy 1 294 079 Ft
Bachelor's Dream Duchess / Puha kötésű
common.buy 9 047 Ft
Social Embeddedness of Industrial Ecology / Puha kötésű
common.buy 20 806 Ft
Multiplicity in Unity Carlos M. Herrera / Kemény kötésű
common.buy 69 360 Ft
Women, Body, Illness Pamela Moss / Kemény kötésű
common.buy 74 782 Ft
Rebecca`s Reward Lauraine Snelling / Puha kötésű
common.buy 6 721 Ft
Reform Medicaid First Thomas W. Grannemann / Puha kötésű
common.buy 5 263 Ft

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

Információ a könyvről

Teljes megnevezés Algebraic Methodology and Software Technology
Szerző Maurice Nivat, Martin Wirsing
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1996
Oldalszám 647
EAN 9783540614630
ISBN 354061463X
Libristo kód 05274595
Kiadó Springer, Berlin
Súly 850
Méretek 156 x 234 x 33

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek
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 > Rendszeranalízis és rendszerdizájn
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 > 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

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