Kód: 43418416

Model Checking Software

Name: Model Checking Software
Brand: Springer Nature B.V.
SKU: 43418416
Price: 57.00 EUR
Availability: InStock
Author: Georgiana Caltais
ISBN: 9783031321580

Autor Georgiana Caltais, Christian Schilling

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 212
Nakladateľ: Springer Nature B.V., 2023
Viac informácií o knihe

57 €

Bežne: 57.01 €

Ušetríte 0.01 €

Skladom u dodávateľa
Odosielame za 10 - 18 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

RIDING THE HIGH
13.46 € -24 %
Kúpiť
Single Girl's To-Do List
11.84 € -26 %
Kúpiť
History and Practice of Humanitarian Intervention and Aid in Africa
55.89 €
Kúpiť
Sacrificial Lamb
19.63 € -24 %
Kúpiť
Griese Hunnen köönt nich flegen
12.85 € -4 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Model Checking Software

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 138 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.

The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Parametre knihy

57 €

Celý názov: Model Checking Software
Podnázov: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Autor: Georgiana Caltais, Christian Schilling
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 212
EAN: 9783031321580
ID: 43418416
Nakladateľ: Springer Nature B.V.
Hmotnosť: 305 g
Rozmery: 234 × 156 mm
Dátum vydania: 02. May 2023