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

ZB 2003: Formal Specification and Development in Z and B

Nyelv AngolAngol
Könyv Puha kötésű
Könyv ZB 2003: Formal Specification and Development in Z and B Marina Walden
Libristo kód: 01562689
Kiadó Springer, Berlin, november 2002
This book constitutes the refereed proceedings of the Third International Conference of Z and B User... Teljes leírás
? points 304 b
48 656 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

Trau deiner Kraft Anselm Grün / Kemény kötésű
common.buy 6 211 Ft
Vater, Tochter, Schwiegersohn Jessica Quinlan / Kemény kötésű
common.buy 17 276 Ft
Demanding the Impossible Slavoj Žizek / Puha kötésű
common.buy 8 661 Ft
Verification of Sequential and Concurrent Programs Krzysztof R. Apt / Kemény kötésű
common.buy 48 656 Ft
Physical Control Methods in Plant Protection Charles Vincent / Kemény kötésű
common.buy 87 897 Ft
The Big-Knot: Short way To the basic islamic Philosophy. Alegmi M Sofia / Puha kötésű
common.buy 4 915 Ft
Light on the Path and Through the Gates of Gold Mabel Collins / Puha kötésű
common.buy 8 999 Ft
Medieval London JOEL ROSENTHAL / Kemény kötésű
common.buy 61 575 Ft
From the Milk River: Spatial and Temporal Processes in Northwest Amazonia Christine Hugh-Jones / Puha kötésű
common.buy 26 931 Ft

This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.§The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Információ a könyvről

Teljes megnevezés ZB 2003: Formal Specification and Development in Z and B
Szerző Marina Walden, Didier Bert, Steve King
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2003
Oldalszám 554
EAN 9783540402534
ISBN 3540402535
Libristo kód 01562689
Kiadó Springer, Berlin
Súly 840
Méretek 156 x 234 x 29

Kategória

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