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

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Abstract State Machines, Alloy, B, TLA, VDM, and Z Michael Butler
Libristo kód: 02975370
Kiadó Springer International Publishing AG, május 2016
This book§constitutes the refereed proceedings of the 5th International Conference on Abstract§State... Teljes leírás
? points 154 b
24 806 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

toplistás
Slavic Witchcraft Natasha Helvin / Puha kötésű
common.buy 5 922 Ft
Najšťastnejšia som, keď... Rose Lagercrantz / Kemény kötésű
common.buy 3 394 Ft
Toxic Sara Shepard / Kemény kötésű
common.buy 6 128 Ft
Venue / Puha kötésű
common.buy 6 288 Ft
Practical TLA+ Hillel Wayne / Puha kötésű
common.buy 14 846 Ft
Specifying Systems Leslie Lamport / Puha kötésű
common.buy 17 972 Ft
Amazon DynamoDB Developer Guide DOCUMENTATION TEAM / Kemény kötésű
common.buy 47 263 Ft
Critical Miscellanies (Vol. 1 of 3) Essay 1 John Morley / Puha kötésű
common.buy 9 074 Ft
Cosmic Maths Year 6 John Davis / Puha kötésű
common.buy 5 356 Ft
Desk Encyclopedia of General Virology Brian Mahy / Kemény kötésű
common.buy 41 393 Ft
Arid Land Ecosystems: Volume 2, Structure, Functioning and Management D. W. GoodallR. A. Perry / Puha kötésű
common.buy 31 320 Ft
Intimate Friends Martha Vicinus / Puha kötésű
common.buy 20 140 Ft
Little Rabbit and the Meanest Mother on Earth Kate Klise / Puha kötésű
common.buy 2 688 Ft
hamarosan
Dead Ringers Christopher Golden / Puha kötésű
common.buy 4 279 Ft
As Long as We Both Shall Live SMALLEY DR GARY A / Kemény kötésű
common.buy 6 468 Ft
Knowledge-Free and Learning-Based Methods in Intelligent Game Playing Jacek Mandziuk / Puha kötésű
common.buy 48 890 Ft

This book§constitutes the refereed proceedings of the 5th International Conference on Abstract§State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in§May 2016.§§The 17 full and 15 short papers presented in this volume were carefully§reviewed and selected from 61 submissions. They record the latest research§developments in state-based formal methods Abstract State Machines, Alloy, B,§Circus, Event-B, TLS+, VDM and Z.§

Információ a könyvről

Teljes megnevezés Abstract State Machines, Alloy, B, TLA, VDM, and Z
Szerző Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2016
Oldalszám 426
EAN 9783319335995
ISBN 3319335995
Libristo kód 02975370
Kiadó Springer International Publishing AG
Súly 682
Méretek 155 x 235 x 235

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éptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság
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
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