Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Rigorous State-Based Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Rigorous State-Based Methods Fuyuki Ishikawa
Libristo kód: 51764577
Nakladatelství Springer, Berlin, červen 2026
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Celý popis
? points 175 b Nové Nové
1 746 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Rivoluzione meridionale (1816-1926). Narrazioni e memorie Salvatore Lupo / Kniha Brožovaná
common.buy 777 Kč
Riverita Armando Palacio Valdés / Kniha Brožovaná
common.buy 483 Kč
CISL innovatrice nel complesso dei sindacati in Italia Guido Baglioni / Kniha Brožovaná
common.buy 638 Kč
L'ART DE VIVRE A ROME (AVEC GUIDE) Racine Bruno / Kniha Pevná
common.buy 468 Kč
Biologia della piccola piralide (Neoleucinodes elegantalis Guenée, 1854) Rubens Pessoa de Barros / Kniha Brožovaná
common.buy 732 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Rigorous State-Based Methods
Autor Fuyuki Ishikawa, Alcino Cunha
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2026
Počet stran 320
EAN 9783032267511
Libristo kód 51764577
Nakladatelství Springer, Berlin
Série Lecture Notes in Computer Science
Váha 508
Rozměry 155 x 235

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačový hardware
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Absolute Reality in the Qur'an Masudul Alam Choudhury / Kniha Pevná
common.buy 1 350 Kč
Rob Simmons Mariam T. Tennoe / Kniha Brožovaná
common.buy 5 179 Kč
Rob Doran Miriam T. Timpledon / Kniha Brožovaná
common.buy 6 795 Kč
Roadside Monument / Frodus Miriam T. Timpledon / Kniha Brožovaná
common.buy 6 391 Kč
Připravujeme Nové
Riverbend City – An Eighteenth–Century Pawnee Community Mary J. Adair / Kniha Pevná
common.buy 2 076 Kč
Riverscape Dynamics and Contemporary Hazards Mery Biswas / Kniha Pevná
common.buy 3 083 Kč
Top
Rise of a Queen Rina Kent / Kniha Pevná
common.buy 477 Kč
Proceedings of the 5th International Symposium on Uncertainty Quantification and Stochastic Modelling José Eduardo Souza de Cursi / Kniha Brožovaná
common.buy 3 532 Kč
The Good Artist Benjamin Lawal / Kniha Brožovaná
common.buy 237 Kč
Japanese Art National Art Library / Kniha Brožovaná
common.buy 388 Kč
Oliver Twist (World Classics, Unabridged) Charles Dickens / Kniha Brožovaná
common.buy 550 Kč
Everybody's Guide to Nature Cure Harry Benjamin / Kniha Pevná
common.buy 1 171 Kč
Top
Ride the Tiger Julius Evola / Kniha Pevná
common.buy 427 Kč
Nové
Distributed Applications and Interoperable Systems Ana Nunes Alonso / Kniha Brožovaná
common.buy 1 557 Kč
Nové
Verified Software. Theories, Tools and Experiments Clément Pit-Claudel / Kniha Brožovaná
common.buy 1 350 Kč
Nové
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Tias Guns / Kniha Brožovaná
common.buy 2 122 Kč
Nové
Modelling and Mining Networks Fan Chung Graham / Kniha Brožovaná
common.buy 1 370 Kč
Připravujeme Nové
Theory and Practice of Electronic Governance Olayinka David-West / Kniha Brožovaná
common.buy 1 838 Kč
Nové
Formal Methods Teaching Gustavo Carvalho / Kniha Brožovaná
common.buy 1 182 Kč
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 1 746 Kč
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 1 746 Kč
Nové
Public-Key Cryptography - PKC 2026 Shi Bai / Kniha Brožovaná
common.buy 1 746 Kč
Připravujeme Nové
Chatbots and Human-Centered AI Asbjørn Følstad / Kniha Brožovaná
common.buy 1 619 Kč
Nové
Structural Information and Communication Complexity Chryssis Georgiou / Kniha Brožovaná
common.buy 1 746 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?