Springer

Model Checking Software: 32nd International Symposium, SPIN 2026, Turin, Italy, April 1516, Proceedings

Name: Model Checking Software: 32nd International Symposium, SPIN 2026, Turin, Italy, April 1516, Proceedings
Brand: Springer
SKU: 857fd83ba87bcd7d7c3c40dd26faa6af

1/1

Afbeelding van Model Checking Software: 32nd International Symposium, SPIN 2026, Turin, Italy, April 1516, Proceedings

Bol

Prijzen vanaf

56,99

Uitgelicht

	56,99	Naar shop
	62,05	Naar shop
	62,05	Naar shop
VERGELIJK ALLE AANBIEDERS (3)

Beschrijving

Bol This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026. The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026. The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. The focus of the symposium was on symbolic and state space-based techniques for the validation and analysis of software systems.

Lees meer

Vergelijk aanbieders (3)

Sorteren op:

€ 56,99 Gratis verzending

€ 62,05 Gratis verzending

Beschrijving (1)

This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026. The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026. The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions. The focus of the symposium was on symbolic and state space-based techniques for the validation and analysis of software systems.

Lees meer