Kód: 46145388

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer, Berlin
SKU: 46145388
Price: 55.89 EUR
Availability: InStock
Author: Andrew Reynolds
ISBN: 9783031660634

Autor Andrew Reynolds, Serdar Tasiran

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed an ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 108
Nakladateľ: Springer, Berlin, 2024
Viac informácií o knihe

55.89 €

Skladom u dodávateľa v malom množstve
Odosielame za 13 - 18 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

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

Three Hundred Years of Longing: Bu Jian Shang Xian San Bai Nian 1
14.17 € -29 %
Kúpiť
Kybalion
7.89 € -25 %
Kúpiť
Mrs. Jeffries and the Merry Gentlemen
6.57 € -24 %
Kúpiť
The Marriage of Sense and Soul: Integrating Science and Religion
14.67 € -18 %
Kúpiť
Funko Bitty POP: Spider-Man - Spider-Man 4-pack
16.70 €
Kúpiť
Die mittelalterliche und moderne Armbrust
40.90 € -4 %
Kúpiť
Soda: Méthode de français 2
35.74 €
Kúpiť
40 Days with the Holy Spirit
13.46 € -24 %
Kúpiť
Apologie De La Mission De S. Maur, Apostre Des Benedictins En France (1702)
22.17 €
Kúpiť
Alumnado, familias y sistema educativo
10.82 €
Kúpiť
Cambio climático
79.99 € -4 %
Kúpiť
Ein Kuss fur Theseus - Buch mit MP3-Download
6.77 € -8 %
Kúpiť
I Love You When
14.07 € -6 %
Kúpiť
Das Alkoholverbot in Amerika.
64.70 €
Kúpiť
Masallar Ülkesi Dört Mevsim Kulesi Masallari
7.28 € -4 %
Kúpiť
A Certain Magical Index T20
10.22 €
Kúpiť
Calisthenics
18.42 € -2 %
Kúpiť
Memento Experto Tributación en América Latina
53.15 €
Kúpiť
What are Exhibitions for? An Anthropological Approach
47.99 €
Kúpiť
Como os utilizadores e empregados interagem quando desenvolvem um novo produto
38.87 € -4 %
Kúpiť
Imposto de Renda do Investidor
11.94 €
Kúpiť
Writing for the Hollywood $$$
27.74 € -7 %
Kúpiť
Les Pupilles de Tante Bette
19.33 € -4 %
Kúpiť
Do Jornal à Poética de Maria Teresa Horta
50.92 € -3 %
Kúpiť
Lehrbuch der Enneagramm-Homoeopathie
71.28 € -7 %
Kúpiť
History of Newcastle and Gateshead
37.36 € -1 %
Kúpiť
?am ?am ?umi ?umi
10.82 € -6 %
Kúpiť
Pasaporte a la Dimensión de Los Milagros
15.79 € -9 %
Kúpiť
Zu Wasser und Land: Geschichten aus See und von der fasten Wall
34.01 € -9 %
Kúpiť
Early FM Radio
67.84 €
Kúpiť
Flexible Bodies
107.73 €
Kúpiť
Interkulturelle Pädagogik in der DDR
16.19 € -10 %
Kúpiť
Introduction to Labor Law
11.33 € -24 %
Kúpiť
L' Argent
10.01 €
Kúpiť
Colorado Is Calling
48.19 € -2 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Verified Software. Theories, Tools and Experiments

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

Nákupom získate 135 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.

The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

55.89 €

Celý názov: Verified Software. Theories, Tools and Experiments
Podnázov: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Autor: Andrew Reynolds, Serdar Tasiran
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 108
EAN: 9783031660634
ID: 46145388
Nakladateľ: Springer, Berlin
Hmotnosť: 195 g
Rozmery: 235 × 155 mm
Dátum vydania: 24. August 2024