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

ZUM '95: The Z Formal Specification Notation

Nyelv AngolAngol
Könyv Puha kötésű
Könyv ZUM '95: The Z Formal Specification Notation Jonathan P. Bowen
Libristo kód: 05274496
Kiadó Springer, Berlin, november 1994
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in... Teljes leírás
? points 331 b
52 141 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

Etty Hillesum Alexandra Pleshoyano / Puha kötésű
common.buy 14 055 Ft
Der Gott des Gemetzels, 1 Audio-CD Yasmina Reza / Audio CD
common.buy 5 542 Ft
AIDS-Related Neoplasias Luzius Schmid / Puha kötésű
common.buy 26 453 Ft
Beck'sches Handbuch der AG Florian Drinhausen / Kemény kötésű
common.buy 96 161 Ft
Moys Classification and Thesaurus for Legal Materials Elizabeth M. Moys / Kemény kötésű
common.buy 188 982 Ft
Digitale Medien Und Soziale Arbeit Daniel Woldrich / Puha kötésű
common.buy 16 020 Ft
Verdrangung widerstandiger Lesarten? Medien und Macht bei Jean Baudrillard und Stuart Hall Andreas Mohr / Puha kötésű
common.buy 31 415 Ft
Wounds and Words Christa Schönfelder / Puha kötésű
common.buy 25 149 Ft

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Információ a könyvről

Teljes megnevezés ZUM '95: The Z Formal Specification Notation
Szerző Jonathan P. Bowen, Michael G. Hinchey
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1995
Oldalszám 583
EAN 9783540602712
ISBN 3540602712
Libristo kód 05274496
Kiadó Springer, Berlin
Súly 774
Méretek 156 x 234 x 30

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Matematika és természettudomány > Matematika > Kombinatorika és gráfelmélet
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 > 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