A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
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ó
0
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
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Rigorous State-Based Methods

12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Rigorous State-Based Methods Fuyuki Ishikawa
Libristo kód: 51764577
Kiadó Springer, Berlin, június 2026
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Teljes leírás
? points 201 b Új Új
29 908 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

Rivoluzione meridionale (1816-1926). Narrazioni e memorie Salvatore Lupo / Könyv Puha kötésű
common.buy 11 585 Ft
Riverita Armando Palacio Valdés / Könyv Puha kötésű
common.buy 8 350 Ft
CISL innovatrice nel complesso dei sindacati in Italia Guido Baglioni / Könyv Puha kötésű
common.buy 9 512 Ft
L'ART DE VIVRE A ROME (AVEC GUIDE) Racine Bruno / Könyv Kemény kötésű
common.buy 6 977 Ft
Biologia della piccola piralide (Neoleucinodes elegantalis Guenée, 1854) Rubens Pessoa de Barros / Könyv Puha kötésű
common.buy 12 671 Ft

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.

The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.

The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
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 Rigorous State-Based Methods
Szerző Fuyuki Ishikawa, Alcino Cunha
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2026
Oldalszám 320
EAN 9783032267511
Libristo kód 51764577
Kiadó Springer, Berlin
Sorozat Lecture Notes in Computer Science
Súly 508
Méretek 155 x 235

Kategória

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é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 > Mesterséges intelligencia
Számítástechnika és információtechnológia > Számítógépes hardver
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

Absolute Reality in the Qur'an Masudul Alam Choudhury / Könyv Kemény kötésű
common.buy 21 647 Ft
Rob Simmons Mariam T. Tennoe / Könyv Puha kötésű
common.buy 89 710 Ft
Rob Doran Miriam T. Timpledon / Könyv Puha kötésű
common.buy 117 714 Ft
Roadside Monument / Frodus Miriam T. Timpledon / Könyv Puha kötésű
common.buy 110 718 Ft
Hamarosan Új
Riverbend City – An Eighteenth–Century Pawnee Community Mary J. Adair / Könyv Kemény kötésű
common.buy 34 680 Ft
Riverscape Dynamics and Contemporary Hazards Mery Biswas / Könyv Kemény kötésű
common.buy 51 513 Ft
Toplistás
Rise of a Queen Rina Kent / Könyv Kemény kötésű
common.buy 8 886 Ft
Proceedings of the 5th International Symposium on Uncertainty Quantification and Stochastic Modelling José Eduardo Souza de Cursi / Könyv Puha kötésű
common.buy 60 503 Ft
The Good Artist Benjamin Lawal / Könyv Puha kötésű
common.buy 4 025 Ft
Japanese Art National Art Library / Könyv Puha kötésű
common.buy 6 724 Ft
Oliver Twist (World Classics, Unabridged) Charles Dickens / Könyv Puha kötésű
common.buy 9 498 Ft
Everybody's Guide to Nature Cure Harry Benjamin / Könyv Kemény kötésű
common.buy 19 517 Ft
Toplistás
Ride the Tiger Julius Evola / Könyv Kemény kötésű
common.buy 6 813 Ft
Új
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Könyv Puha kötésű
common.buy 26 673 Ft
Új
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Könyv Puha kötésű
common.buy 21 647 Ft
Új
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Könyv Puha kötésű
common.buy 36 350 Ft
Új
Modelling and Mining Networks Fan Chung Graham / Könyv Puha kötésű
common.buy 23 467 Ft
Hamarosan Új
Theory and Practice of Electronic Governance Olayinka David-West / Könyv Puha kötésű
common.buy 27 402 Ft
Új
Formal Methods Teaching Gustavo Carvalho / Könyv Puha kötésű
common.buy 20 246 Ft
Új
Public-Key Cryptography - PKC 2026 Shi Bai / Könyv Puha kötésű
common.buy 29 908 Ft
Új
Public-Key Cryptography - PKC 2026 Shi Bai / Könyv Puha kötésű
common.buy 29 908 Ft
Új
Public-Key Cryptography - PKC 2026 Shi Bai / Könyv Puha kötésű
common.buy 29 908 Ft
Hamarosan Új
Chatbots and Human-Centered AI Asbjørn Følstad / Könyv Puha kötésű
common.buy 24 139 Ft
Új
Structural Information and Communication Complexity Chryssis Georgiou / Könyv Puha kötésű
common.buy 29 908 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?