Model Checking Software
Odporučiť
  • Anglický jazyk

Model Checking Software

Autor: Anton Wijs

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in... Viac o knihe

Na objednávku, dodanie 2-4 týždne

49.49 €

bežná cena: 54.99 €

O knihe

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

  • Vydavateľstvo: Springer Nature Switzerland
  • Rok vydania: 2024
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783031661488

Odporúčané tituly:

Product Lifecycle Management (Volume 3): The Executive Summary
  • Anglický jazyk Anglický jazyk

Product Lifecycle Management (Volume 3): The Executive Summary

John Stark

92.15 € 102.39 € (ušetríte 10%)
Peake, T: Ask an Astronaut
  • Anglický jazyk Anglický jazyk

Peake, T: Ask an Astronaut

Tim Peake

17.88 € 19.87 € (ušetríte 10%)
Ultra Low Power Bioelectronics
  • Anglický jazyk Anglický jazyk

Ultra Low Power Bioelectronics

Rahul Sarpeshkar

91.92 € 102.13 € (ušetríte 10%)
Dawkins, R: An Appetite For Wonder: The Making of a Scientis

Dawkins, R: An Appetite For Wonder: The Making of a Scientis

11.12 € 12.36 € (ušetríte 10%)
Ulrica, S: Nobel Banquets, The: A Century Of Culinary Histo
  • Anglický jazyk Anglický jazyk

Ulrica, S: Nobel Banquets, The: A Century Of Culinary Histo

28.47 € 31.63 € (ušetríte 10%)
The God Equation
  • Anglický jazyk Anglický jazyk

The God Equation

Michio Kaku

12.51 € 13.90 € (ušetríte 10%)
Size
  • Anglický jazyk Anglický jazyk

Size

Vaclav Smil

13.50 € 15.00 € (ušetríte 10%)
An Intimate History of Evolution
  • Anglický jazyk Anglický jazyk

An Intimate History of Evolution

Alison Bashford

17.64 € 19.60 € (ušetríte 10%)
Fantastic Numbers and Where to Find Them
  • Anglický jazyk Anglický jazyk

Fantastic Numbers and Where to Find Them

Antonio Padilla

12.96 € 14.40 € (ušetríte 10%)
Der deutsche Luftverkehr 1926 - 1945
  • Nemecký jazyk Nemecký jazyk

Der deutsche Luftverkehr 1926 - 1945

Karl-Dieter Seifert

18.45 € 20.50 € (ušetríte 10%)
Der deutsche Luftverkehr 1955 - 2000
  • Nemecký jazyk Nemecký jazyk

Der deutsche Luftverkehr 1955 - 2000

Karl-Dieter Seifert

18.45 € 20.50 € (ušetríte 10%)
Fahrtenbuch Tankheft Tankbuch für alle KFZ inkl. Kontrollen für Öl und Reifendruck
  • Nemecký jazyk Nemecký jazyk

Fahrtenbuch Tankheft Tankbuch für alle KFZ inkl. Kontrollen für Öl und Reifendruck

Uwe H. Sültz

3.69 € 4.10 € (ušetríte 10%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.