Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Rigorous State-Based Methods Fuyuki Ishikawa

Rigorous State-Based Methods

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

Fuyuki Ishikawa

Língua

Inglês

Livro Capa mole

Livro Rigorous State-Based Methods Fuyuki Ishikawa

Código Libristo: 51764577

Editoras Springer, Berlin, junho 2026

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Descrição completa

Código Libristo: 51764577

?

points

194 b

79.95 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Rivoluzione meridionale (1816-1926). Narrazioni e memorie Salvatore Lupo

/

Capa mole

30.16 €

Riverita Armando Palacio Valdés

/

Capa mole

21.01 €

CISL innovatrice nel complesso dei sindacati in Italia Guido Baglioni

/

Capa mole

24.63 €

Biologia della piccola piralide (Neoleucinodes elegantalis Guenée, 1854) Rubens Pessoa de Barros

/

Capa mole

33.80 €

Le Talmud De Jérusalem, Volume 5... Anonymous

/

Livro de capa dura

34.29 €

LAURA TE POR LLUCH

/

Livro

5.52 €

Liszt transcripteur ou la charité bien ordonnée Drillon

/

Capa mole

14.57 €

L'ART DE VIVRE A ROME (AVEC GUIDE) Racine Bruno

/

Livro de capa dura

17.39 €

Rolle des Europaischen Parlaments im Gesetzgebungsprozess - Eine kritische Auseinandersetzung mit George Tsebelis Malte Nelles

/

Capa mole

16.99 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Rigorous State-Based Methods

Autor Fuyuki Ishikawa, Alcino Cunha

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2026

Número de páginas 320

EAN 9783032267511

Código Libristo 51764577

Editoras Springer, Berlin

Série Lecture Notes in Computer Science

Peso 508

Dimensões 155 x 235

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Inteligência artificial

Informática & tecnologia da informação > Equipamento informático

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Ride the Tiger Julius Evola

/

Livro de capa dura

20.31 €

Rob Simmons Mariam T. Tennoe

/

Capa mole

239.36 €

Rob Doran Miriam T. Timpledon

/

Capa mole

314.12 €

Roadside Monument / Frodus Miriam T. Timpledon

/

Capa mole

295.40 €

Riverbend City – An Eighteenth–Century Pawnee Community Mary J. Adair

/

Livro de capa dura

94.53 €

Riverscape Dynamics and Contemporary Hazards Mery Biswas

/

Livro de capa dura

147.03 €

The Great Global Transformation Milanovic

/

Livro de capa dura

23.63 €

Nina Under Arrest: A Birmingham Children's Crusade Survival Story Jane Pica

/

Livro de capa dura

22.12 €

Knit a Box of Socks: 24 Sock Knitting Patterns for Your Dream Box of Socks Julie Ann Lebouthillier

/

Capa mole

19.10 €

Our Dancing Days Lucy English

/

Adobe ePub DRM

4.92 €

Rise of a Queen Rina Kent

/

Livro de capa dura

22.82 €

Proceedings of the 5th International Symposium on Uncertainty Quantification and Stochastic Modelling José Eduardo Souza de Cursi

/

Capa mole

161.72 €

The Works Of Francis Thompson V3: Prose Francis Thompson

/

Capa mole

31.48 €

Official Beginner's Guide for ACT 2020-2021

/

Capa mole

27.25 €

Debian GNU/Linux 2.1 Unleashed Mario Camou

/

Livro

74.11 €

Place Value Challenges - Test Review Workbook - Math 2nd Grade Children's Math Books BABY PROFESSOR

/

Capa mole

14.17 €

Japanese Art National Art Library

/

Capa mole

17.89 €

Absolute Reality in the Qur'an Masudul Alam Choudhury

/

Livro de capa dura

55.81 €

Rabbi, The Goddess, and Jung Naomi Ruth Lowinsky

/

Capa mole

33.98 €

Everybody's Guide to Nature Cure Harry Benjamin

/

Livro de capa dura

51.59 €

Hymen Hilda Doolittle

/

Capa mole

19.21 €

Structural Information and Communication Complexity Chryssis Georgiou

/

Capa mole

79.95 €

Verified Software. Theories, Tools and Experiments Clément Pit-Claudel

/

Capa mole

54.10 €

Chatbots and Human-Centered AI Asbjørn Følstad

/

Capa mole

62.75 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?