Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Verified Software. Theories, Tools and Experiments

E-BookPDFE-Book
EUR53,49

Produktbeschreibung

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.
Weiterlesen

Details

Weitere ISBN/GTIN9783031660641
ProduktartE-Book
EinbandE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsdatum26.07.2024
Auflage2024
ReiheLecture Notes in Computer Science
Reihen-Nr.14095
SpracheEnglisch
Dateigrösse4504 Kbytes
IllustrationenIX, 109 p. 77 illus., 17 illus. in color.
Artikel-Nr.15252663
KatalogVC
Datenquelle-Nr.5962831
Weitere Details

Reihe

Bewertungen

Autor/in

Schlagworte

VLB Haupt-Lesemotiv