Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Brand: Springer, Berlin
SKU: 51764577
Price: 76.33 EUR
Availability: InStock
Author: Fuyuki Ishikawa
ISBN: 9783032267511

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

Fuyuki Ishikawa

Alcino Cunha

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 51764577

Uitgeverij Springer, Berlin, juni 2026

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat... Volledige beschrijving

Libristo-code: 51764577

185 b

Nieuw

76.33 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

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

Gebonden (paperback)

32.18 €

Riverita Armando Palacio Valdés

Gebonden (paperback)

21.15 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Rigorous State-Based Methods

Auteur Fuyuki Ishikawa, Alcino Cunha

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2026

Aantal pagina's 320

EAN 9783032267511

Libristo-code 51764577

Uitgeverij Springer, Berlin

Serie Lecture Notes in Computer Science

Gewicht 508

Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Informatica en informatietechnologie > Computer hardware

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger